Unification algebras: an axiomatic approach to unification, equation solving and constraint solving (1988)

by Manfred Schmidt-Schauß , Jörg H. Siekmann
Venue:UNIVERSITAT KAISERSLAUTERN
Citations:3 - 0 self

Document Versions

Unification algebras: an axiomatic approach to unification, equation solving and constraint solving –Manfred Schmidt-Schauß, Jörg H. Siekmann — 1988 — UNIVERSITAT KAISERSLAUTERN