Unification Theory
Aus International Center for Computational Logic
Unification Theory
Franz BaaderFranz Baader
Franz Baader
Unification Theory
Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, 151-170, 1991. Springer
Unification Theory
Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, 151-170, 1991. Springer
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BaaderA-IWWERT-91,
address = {T\"ubingen (Germany)},
author = {F. {Baader}},
booktitle = {Proceedings of the First International Workshop on Word Equations and Related Topics, {IWWERT-90}},
pages = {151--170},
publisher = {Springer--Verlag},
series = {Lecture Notes in Computer Science},
title = {Unification Theory},
volume = {572},
year = {1991},
}