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

Active Bibliography

4 Unification in Monoidal Theories is Solving Linear Equations over Semirings – Werner Nutt - 1992
A Survey of Liguistically Motivated Extensions to . . . – Jochen Dörre, Andreas Eisele, Jürgen Wedekind, Jo Calder, Mike Reape - 1990
1 Unification in permutative equational theories is undecidable – Manfred Schmidt-Schauß - 1989
4 Formalization of the Development Process – David Basin, Bernd Krieg-Brückner - 1998
10 Complete Axiomatizations of some Quotient Term Algebras – Hubert Comon - 1993
216 Unification Theory – Franz Baader, Wayne Snyder - 2001