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

Documents Related by Co-Citation

6 Sorted feature terms and relational dependencies – Jochen Dörre, Roland Seiffert, Ibm Deutschland Gmbh - 1991
1 Resolution for feature logics. In: GI-Fachgruppe über Alternative Konzepte für Sprachen und – B Fischer - 1993
1 Towards object-oriented constraint logic programming – R Zajac - 1991
1 Data models as constraint systems: A key to the semantic web. Research paper, submitted for publication – H Aït-Kaci - 2007
2 Lattice Theory, 3 rd edn, volume 25 of Colloquium Publications – G Birkhoff - 1993
1 Coinduction in programming languages – D Sangiorgi
1 P.: The Wild LIFE handbook. ˆ Available online 9 – H Aït-Kaci, B Dumant, R Meyer, A Podelski, Van Roy - 1994
9 Feature Trees over Arbitrary Structures – Ralf Treinen - 1997
3 R.: A fixed point semantics for feature type systems – Martin C Emele, Rmi Zajac - 1990
18 Unification With Lazy Non-Redundant Copying – Martin C. Emele - 1991
14 Attributive description formalisms and the rest of the world – Bernhard Nebel, Gert Smolka - 1991
18 Order-Sorted Feature Theory Unification – Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein - 1997
33 The Logic of Typed Feature Structures, volume 32 of Cambridge Tracts in Theoretical – Robert L Carpenter - 1992
16 An introduction to LIFE---programming with logic, inheritance, functions, and equations – Hassan Aït-Kaci - 1993
19 The First-Order Theory of Ordering Constraints over Feature Trees – Martin Müller, Joachim Niehren, Ralf Treinen - 2001
14 Ordering Constraints over Feature Trees – Martin Müller, Joachim Niehren, Andreas Podelski - 1999
65 Fundamentals Of Deductive Program Synthesis – Zohar Manna, Richard Waldinger - 1992
59 A Structural Paradigm for Representing Knowledge – R A Brachman - 1977
215 Reasoning in Description Logics – F. M. Donini, M. Lenzerini, D. Nardi, A. Schaerf - 1997