Completeness of combinations of conditional constructor systems
From MaRDI portal
Publication:1332335
DOI10.1006/JSCO.1994.1002zbMath0942.68592OpenAlexW1967736139MaRDI QIDQ1332335
Publication date: 14 August 2000
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1994.1002
Related Items (3)
Level-confluence of conditional rewrite systems with extra variables in right-hand sides ⋮ Modularity in term rewriting revisited ⋮ On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
This page was built for publication: Completeness of combinations of conditional constructor systems
