scientific article
From MaRDI portal
Publication:3820053
zbMath0667.68106MaRDI QIDQ3820053
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessconditional term rewriting systemsdecreasing systemsexpressive power of normal systemsFull normalizationstrong Church- Rosser property
Related Items
Proof by consistency in conditional equational theories ⋮ An universal termination condition for solving goals in equational languages ⋮ A rationale for conditional equational programming
This page was built for publication:
