scientific article
From MaRDI portal
Publication:4035223
zbMATH Open0777.68054MaRDI QIDQ4035223
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Could orders be captured by term rewriting systems? ⋮ Bi-rewriting, a term rewriting technique for monotonic order relations ⋮ Unnamed Item ⋮ Sequentiality in orthogonal term rewriting systems ⋮ Rewriting Techniques and Applications ⋮ Termination orderings for associative-commutative rewriting systems
This page was built for publication:
