Contractive signatures with recursive types, type parameters, and abstract types
author
Im, Hyeonseung
Nakata, Keiko
Park, Sungwoo
statement of authorship
Hyeonseung Im, Keiko Nakata and Sungwoo Park
source
Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
location of publication
Berlin
publisher
Springer
year of publication
2013
pages
p. 299 - 311
series
Lecture Notes in Computer Science ; 7966
conference name, date
40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, 8-12 July 2013
conference location
Riga, Latvia
url
https://doi.org/10.1007/978-3-642-39212-2_28
subject term
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
quartile
Q2
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
keyword
semantics
syntactics
theorem proving
ISSN
1611-3349
ISBN
978-364239211-5
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
küberneetika instituut
language
inglise