On Confluence of Infinitary Combinatory Reduction Systems

6 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05)
Udgivelsessted	Berlin
Forlag	Springer
Publikationsdato	2005
Udgave	3835
Sider	199-214
Status	Udgivet - 2005

Citationsformater

@inbook{3019ff6074be11dbbee902004c4f4f50,

title = "On Confluence of Infinitary Combinatory Reduction Systems",

author = "Jeroen Ketema and Simonsen, {Jakob Grue}",

year = "2005",

language = "English",

pages = "199--214",

booktitle = "Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05)",

publisher = "Springer",

edition = "3835",

}