scientific article
From MaRDI portal
Publication:3719825
zbMATH Open0591.68042MaRDI QIDQ3719825
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Improving transformation systems for general E-unification ⋮ Extensional equivalences for transition systems ⋮ Elimination transformations for associative-commutative rewriting systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Correctness of Context-Moving Transformations for Term Rewriting Systems
Recommendations
- Extensional equivalences for transition systems 👍 👎
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars 👍 👎
- Remarks on Thatte's transformation of term rewriting systems 👍 👎
- Transfinite reductions in orthogonal term rewriting systems 👍 👎
- Transformations of Conditional Rewrite Systems Revisited 👍 👎
- Unnamed Item 👍 👎
- Unnamed Item 👍 👎
- Unnamed Item 👍 👎
- Unnamed Item 👍 👎
- Unnamed Item 👍 👎
This page was built for publication:
