Complete problems for higher order logics

L Hella, J Turull-Torres

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

1 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the 20th International Workshop, CSL2006
Toimittajat	Ésik Zoltán
Julkaisupaikka	Berlin Heidelberg
Kustantaja	Springer
Sivut	380-394
ISBN (painettu)	978-3-540-45458-8
Tila	Julkaistu - 2006
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Nimi	Lecture Notes in Computer Science

Siteeraa tätä

@inproceedings{dd393c3df4984f5ea9f27198575c4c3e,

title = "Complete problems for higher order logics",

author = "L Hella and J Turull-Torres",

year = "2006",

language = "English",

isbn = "978-3-540-45458-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "380--394",

editor = "{\'E}sik Zolt{\'a}n",

booktitle = "Proceedings of the 20th International Workshop, CSL2006",

}