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

238 Unification Theory – Franz Baader, Wayne Snyder - 2001
4 Unification in Monoidal Theories is Solving Linear Equations over Semirings – Werner Nutt - 1992
10 Complete Axiomatizations of some Quotient Term Algebras – Hubert Comon - 1993
A Survey of Liguistically Motivated Extensions to . . . – Jochen Dörre, Andreas Eisele, Jürgen Wedekind, Jo Calder, Mike Reape - 1990
This document in subdirectoryRS/00/13/ Matching Modulo Associativity and Idempotency is NP–complete ⋆ – Copyright C - 909
4 Formalization of the Development Process – David Basin, Bernd Krieg-Brückner - 1998
1 Unification in permutative equational theories is undecidable – Manfred Schmidt-Schauß - 1989
Reducing the Derivation of Redundant Clauses in Reasoning Systems – unknown authors
2 Constraint Solving on Terms – Hubert Comon, Claude Kirchner