Higher order conditional rewriting and narrowing
From MaRDI portal
Publication:5096313
DOI10.1007/BFb0016859zbMath1495.68107MaRDI QIDQ5096313
Jürgen Avenhaus, Carlos Loría-Sáenz
Publication date: 16 August 2022
Published in: Constraints in Computational Logics (Search for Journal in Brave)
Related Items
On the confluence of lambda-calculus with conditional rewriting, Shallow confluence of conditional term rewriting systems