Complexity of conditional term rewriting
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Complexity of conditional term rewriting. / Kop, Cynthia Louisa Martina; Middeldorp, Aart; Sternagel, Thomas.
In: Logical Methods in Computer Science, Vol. 13, No. 1, 6, 2017.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Kop, CLM, Middeldorp, A & Sternagel, T 2017, 'Complexity of conditional term rewriting', Logical Methods in Computer Science, vol. 13, no. 1, 6. https://doi.org/10.23638/LMCS-13(1:6)2017
APA
Kop, C. L. M., Middeldorp, A., & Sternagel, T. (2017). Complexity of conditional term rewriting. Logical Methods in Computer Science, 13(1), [6]. https://doi.org/10.23638/LMCS-13(1:6)2017
Vancouver
Kop CLM, Middeldorp A, Sternagel T. Complexity of conditional term rewriting. Logical Methods in Computer Science. 2017;13(1). 6. https://doi.org/10.23638/LMCS-13(1:6)2017
Author
Bibtex
@article{b5f72067ef9b4b41bd85594a0cde40c0,
title = "Complexity of conditional term rewriting",
author = "Kop, {Cynthia Louisa Martina} and Aart Middeldorp and Thomas Sternagel",
year = "2017",
doi = "10.23638/LMCS-13(1:6)2017",
language = "English",
volume = "13",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "International Federation for Computational Logic",
number = "1",
}
RIS
TY - JOUR
T1 - Complexity of conditional term rewriting
AU - Kop, Cynthia Louisa Martina
AU - Middeldorp, Aart
AU - Sternagel, Thomas
PY - 2017
Y1 - 2017
U2 - 10.23638/LMCS-13(1:6)2017
DO - 10.23638/LMCS-13(1:6)2017
M3 - Journal article
VL - 13
JO - Logical Methods in Computer Science
JF - Logical Methods in Computer Science
SN - 1860-5974
IS - 1
M1 - 6
ER -
ID: 178216690