On Confluence of Infinitary Combinatory Reduction Systems

6 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05)
Place of Publication	Berlin
Publisher	Springer
Publication date	2005
Edition	3835
Pages	199-214
Publication status	Published - 2005

Cite this

@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",

}