Contractive signatures with recursive types, type parameters, and abstract types
autor
Im, Hyeonseung
Nakata, Keiko
Park, Sungwoo
vastutusandmed
Hyeonseung Im, Keiko Nakata and Sungwoo Park
allikas
Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
ilmumiskoht
Berlin
kirjastus/väljaandja
Springer
ilmumisaasta
2013
leheküljed
p. 299 - 311
seeria-sari
Lecture Notes in Computer Science ; 7966
konverentsi nimetus, aeg
40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, 8-12 July 2013
konverentsi toimumispaik
Riga, Latvia
leitav
https://doi.org/10.1007/978-3-642-39212-2_28
märksõna
tüübiteooria
süntaktiline analüüs
semantika
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-84880288390&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-39212-2_28%29&sessionSearchId=842eff8fafa5da0f4673a77a0030efbc
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
võtmesõna
semantics
syntactics
theorem proving
ISSN
1611-3349
ISBN
978-364239211-5
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
küberneetika instituut
keel
inglise