Partial order infinitary term rewriting
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Partial order infinitary term rewriting. / Bahr, Patrick.
In: Logical Methods in Computer Science, Vol. 10, No. 2, 6, 2014.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Bahr, P 2014, 'Partial order infinitary term rewriting', Logical Methods in Computer Science, vol. 10, no. 2, 6. https://doi.org/10.2168/LMCS-10(2:6)2014
APA
Bahr, P. (2014). Partial order infinitary term rewriting. Logical Methods in Computer Science, 10(2), [6]. https://doi.org/10.2168/LMCS-10(2:6)2014
Vancouver
Bahr P. Partial order infinitary term rewriting. Logical Methods in Computer Science. 2014;10(2). 6. https://doi.org/10.2168/LMCS-10(2:6)2014
Author
Bibtex
@article{4e9d80db80c844b0872da2f234270675,
title = "Partial order infinitary term rewriting",
author = "Patrick Bahr",
year = "2014",
doi = "10.2168/LMCS-10(2:6)2014",
language = "English",
volume = "10",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "International Federation for Computational Logic",
number = "2",
}
RIS
TY - JOUR
T1 - Partial order infinitary term rewriting
AU - Bahr, Patrick
PY - 2014
Y1 - 2014
U2 - 10.2168/LMCS-10(2:6)2014
DO - 10.2168/LMCS-10(2:6)2014
M3 - Journal article
VL - 10
JO - Logical Methods in Computer Science
JF - Logical Methods in Computer Science
SN - 1860-5974
IS - 2
M1 - 6
ER -
ID: 125682885