Publication:3484358
From MaRDI portal
zbMath0704.68061MaRDI QIDQ3484358
Jürgen Avenhaus, Klaus Madlener
Publication date: 1990
Related Items
On weakly confluent monadic string-rewriting systems, Equational unification, word unification, and 2nd-order equational unification, A categorical critical-pair completion algorithm, Proving termination of (conditional) rewrite systems. A semantic approach, An improved general path order, Shallow confluence of conditional term rewriting systems