Termination is not modular for confluent variable-preserving term rewriting systems

DOI10.1016/0020-0190(94)00187-4zbMath1004.68526OpenAlexW1968688812MaRDI QIDQ674186

Could not fetch data.

Publication date: 28 February 1997

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)00187-4

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.