Veröffentlichungen in 1989

Artikel in Fachzeitschriften

Franz Baader
Unification in Commutative Theories
J. Symbolic Computation, 8:479-497, 1989
Details

Artikel in Tagungsbänden

Franz Baader
Unification Properties of Commutative Theories: A Categorical Treatment
Proceedings of the Conference on Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, 273-299, 1989. Springer
Details

Franz Baader
Characterizations of Unification Type Zero
Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, RTA 89, volume 355 of Lecture Notes in Computer Science, 2-14, 1989. Springer
Details

Bücher

Steffen Hölldobler
Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353)
Springer Verlag, 1989
Details

Technische Berichte

Franz Baader
Unifikation und Reduktionssysteme für Halbgruppenvarietäten
Technical Report, Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen, volume 8, 1989. Arbeitsbericht
Details