On Confluence of Infinitary Combinatory Reduction Systems
Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
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. udg. Berlin : Springer, 2005. s. 199-214.Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
Harvard
Ketema, J & Simonsen, JG 2005, On Confluence of Infinitary Combinatory Reduction Systems. i Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05). 3835 udg, Springer, Berlin, s. 199-214.
APA
Ketema, J., & Simonsen, J. G. (2005). On Confluence of Infinitary Combinatory Reduction Systems. I Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05) (3835 udg., s. 199-214). Springer.
Vancouver
Ketema J, Simonsen JG. On Confluence of Infinitary Combinatory Reduction Systems. I Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05). 3835 udg. Berlin: Springer. 2005. s. 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