scientific article; zbMATH DE number 1354167
From MaRDI portal
Publication:4268482
zbMath0925.03056MaRDI QIDQ4268482
Publication date: 28 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Regular substitution sets: A means of controlling E-unification ⋮ A rewriting approach to satisfiability procedures. ⋮ Thue trees
This page was built for publication: