On Confluence of Infinitary Combinatory Reduction Systems
Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
Standard
On Confluence of Infinitary Combinatory Reduction Systems. / Ketema, Jeroen; Simonsen, Jakob Grue.
Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05). 3835. ed. Berlin : Springer, 2005. p. 199-214.Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
Harvard
Ketema, J & Simonsen, JG 2005, On Confluence of Infinitary Combinatory Reduction Systems. in Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05). 3835 edn, Springer, Berlin, pp. 199-214.
APA
Ketema, J., & Simonsen, J. G. (2005). On Confluence of Infinitary Combinatory Reduction Systems. In Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05) (3835 ed., pp. 199-214). Springer.
Vancouver
Ketema J, Simonsen JG. On Confluence of Infinitary Combinatory Reduction Systems. In Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05). 3835 ed. Berlin: Springer. 2005. p. 199-214
Author
Bibtex
@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",
address = "Switzerland",
edition = "3835",
}
RIS
TY - GEN
T1 - On Confluence of Infinitary Combinatory Reduction Systems
AU - Ketema, Jeroen
AU - Simonsen, Jakob Grue
PY - 2005
Y1 - 2005
M3 - Report chapter
SP - 199
EP - 214
BT - Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05)
PB - Springer
CY - Berlin
ER -
ID: 14600