Standard
Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus. / Ketema, Jeroen; Simonsen, Jakob Grue.
In:
A C M Transactions on Computational Logic, Vol. 14, No. 4, 31, 2013.
Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Ketema, J
& Simonsen, JG 2013, '
Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus',
A C M Transactions on Computational Logic, vol. 14, no. 4, 31.
https://doi.org/10.1145/2528934APA
Ketema, J.
, & Simonsen, J. G. (2013).
Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus.
A C M Transactions on Computational Logic,
14(4), [31].
https://doi.org/10.1145/2528934Vancouver
Ketema J
, Simonsen JG.
Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus.
A C M Transactions on Computational Logic. 2013;14(4). 31.
https://doi.org/10.1145/2528934Author
Ketema, Jeroen ; Simonsen, Jakob Grue. / Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus. In: A C M Transactions on Computational Logic. 2013 ; Vol. 14, No. 4.
Bibtex
@article{6809561f216944b3bc12c018713b2b5d,
title = "Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus",
keywords = "Church-Rosser property, Term rewriting, confluence, lambda calculus, upper bounds",
author = "Jeroen Ketema and Simonsen, {Jakob Grue}",
year = "2013",
doi = "10.1145/2528934",
language = "English",
volume = "14",
journal = "ACM Transactions on Computational Logic",
issn = "1529-3785",
publisher = "Association for Computing Machinery, Inc.",
number = "4",
}
RIS
TY - JOUR
T1 - Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus
AU - Ketema, Jeroen
AU - Simonsen, Jakob Grue
PY - 2013
Y1 - 2013
KW - Church-Rosser property, Term rewriting, confluence, lambda calculus, upper bounds
U2 - 10.1145/2528934
DO - 10.1145/2528934
M3 - Journal article
VL - 14
JO - ACM Transactions on Computational Logic
JF - ACM Transactions on Computational Logic
SN - 1529-3785
IS - 4
M1 - 31
ER -
