Standard
Least upper bounds on the size of Church-Rosser diagrams in term rewriting and λ-calculus. / Ketema, Jeroen; Simonsen, Jakob Grue.
Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. ed. / Matthias Blume; Naoki Kobayashi; Germán Vidal. Springer, 2010. p. 272-287 (Lecture notes in computer science, Vol. 6009).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Ketema, J
& Simonsen, JG 2010,
Least upper bounds on the size of Church-Rosser diagrams in term rewriting and λ-calculus. in M Blume, N Kobayashi & G Vidal (eds),
Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Springer, Lecture notes in computer science, vol. 6009, pp. 272-287, 10th International Symposium on Functional and Logic Programming, Sendai, Japan,
19/04/2010.
https://doi.org/10.1007/978-3-642-12251-4_20
APA
Ketema, J.
, & Simonsen, J. G. (2010).
Least upper bounds on the size of Church-Rosser diagrams in term rewriting and λ-calculus. In M. Blume, N. Kobayashi, & G. Vidal (Eds.),
Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings (pp. 272-287). Springer. Lecture notes in computer science Vol. 6009
https://doi.org/10.1007/978-3-642-12251-4_20
Vancouver
Ketema J
, Simonsen JG.
Least upper bounds on the size of Church-Rosser diagrams in term rewriting and λ-calculus. In Blume M, Kobayashi N, Vidal G, editors, Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Springer. 2010. p. 272-287. (Lecture notes in computer science, Vol. 6009).
https://doi.org/10.1007/978-3-642-12251-4_20
Author
Ketema, Jeroen ; Simonsen, Jakob Grue. / Least upper bounds on the size of Church-Rosser diagrams in term rewriting and λ-calculus. Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. editor / Matthias Blume ; Naoki Kobayashi ; Germán Vidal. Springer, 2010. pp. 272-287 (Lecture notes in computer science, Vol. 6009).
Bibtex
@inproceedings{3da30791a1cf450ab6f386e1ebbfbc7e,
title = "Least upper bounds on the size of Church-Rosser diagrams in term rewriting and λ-calculus",
author = "Jeroen Ketema and Simonsen, {Jakob Grue}",
year = "2010",
doi = "10.1007/978-3-642-12251-4_20",
language = "English",
isbn = "978-3-642-12250-7",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "272--287",
editor = "{ Blume}, Matthias and Kobayashi, { Naoki } and { Vidal}, {Germ{\'a}n }",
booktitle = "Functional and Logic Programming",
address = "Switzerland",
note = "10th International Symposium on Functional and Logic Programming, FLOPS 2010 ; Conference date: 19-04-2010 Through 21-04-2010",
}
RIS
TY - GEN
T1 - Least upper bounds on the size of Church-Rosser diagrams in term rewriting and λ-calculus
AU - Ketema, Jeroen
AU - Simonsen, Jakob Grue
N1 - Conference code: 10
PY - 2010
Y1 - 2010
U2 - 10.1007/978-3-642-12251-4_20
DO - 10.1007/978-3-642-12251-4_20
M3 - Article in proceedings
SN - 978-3-642-12250-7
T3 - Lecture notes in computer science
SP - 272
EP - 287
BT - Functional and Logic Programming
A2 - Blume, Matthias
A2 - Kobayashi, Naoki
A2 - Vidal, Germán
PB - Springer
T2 - 10th International Symposium on Functional and Logic Programming
Y2 - 19 April 2010 through 21 April 2010
ER -