Infinitary Combinatory Reduction Systems
Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
Standard
Infinitary Combinatory Reduction Systems. / Ketema, Jeroen; Simonsen, Jakob Grue.
Proceedings of the 30th International Conference on Rewriting Techniques and Applications. 3467. ed. 2005. p. 438-452.Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
Harvard
Ketema, J & Simonsen, JG 2005, Infinitary Combinatory Reduction Systems. in Proceedings of the 30th International Conference on Rewriting Techniques and Applications. 3467 edn, pp. 438-452.
APA
Ketema, J., & Simonsen, J. G. (2005). Infinitary Combinatory Reduction Systems. In Proceedings of the 30th International Conference on Rewriting Techniques and Applications (3467 ed., pp. 438-452)
Vancouver
Ketema J, Simonsen JG. Infinitary Combinatory Reduction Systems. In Proceedings of the 30th International Conference on Rewriting Techniques and Applications. 3467 ed. 2005. p. 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