Infinitary Combinatory Reduction Systems
Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
Standard
Infinitary Combinatory Reduction Systems. / Ketema, Jeroen; Simonsen, Jakob Grue.
Proceedings of the 30th International Conference on Rewriting Techniques and Applications. 3467. udg. 2005. s. 438-452.Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
Harvard
Ketema, J & Simonsen, JG 2005, Infinitary Combinatory Reduction Systems. i Proceedings of the 30th International Conference on Rewriting Techniques and Applications. 3467 udg, s. 438-452.
APA
Ketema, J., & Simonsen, J. G. (2005). Infinitary Combinatory Reduction Systems. I Proceedings of the 30th International Conference on Rewriting Techniques and Applications (3467 udg., s. 438-452)
Vancouver
Ketema J, Simonsen JG. Infinitary Combinatory Reduction Systems. I Proceedings of the 30th International Conference on Rewriting Techniques and Applications. 3467 udg. 2005. s. 438-452
Author
Bibtex
@inbook{300b596074be11dbbee902004c4f4f50,
title = "Infinitary Combinatory Reduction Systems",
author = "Jeroen Ketema and Simonsen, {Jakob Grue}",
year = "2005",
language = "English",
pages = "438--452",
booktitle = "Proceedings of the 30th International Conference on Rewriting Techniques and Applications",
edition = "3467",
}
RIS
TY - GEN
T1 - Infinitary Combinatory Reduction Systems
AU - Ketema, Jeroen
AU - Simonsen, Jakob Grue
PY - 2005
Y1 - 2005
M3 - Report chapter
SP - 438
EP - 452
BT - Proceedings of the 30th International Conference on Rewriting Techniques and Applications
ER -
ID: 14596