Publications in 1989

From International Center for Computational Logic
Toggle side column

Publications in 1989


Journal Articles

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


Proceedings Articles

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

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


Books

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


Technical Reports

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