scientific article
From MaRDI portal
Publication:3484358
zbMath0704.68061MaRDI QIDQ3484358
Jürgen Avenhaus, Klaus Madlener
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
Open problems in rewriting ⋮ Distributing equational theorem proving ⋮ Some independence results for equational unification ⋮ An improved general path order ⋮ Equational unification, word unification, and 2nd-order equational unification ⋮ On weakly confluent monadic string-rewriting systems ⋮ Completion for multiple reduction orderings ⋮ Shallow confluence of conditional term rewriting systems ⋮ Informational logic for automated reasoning ⋮ A categorical critical-pair completion algorithm ⋮ Proving termination of (conditional) rewrite systems. A semantic approach
This page was built for publication:
