Unification Theory
Aus International Center for Computational Logic
Unification Theory
Franz BaaderFranz Baader
![Unification Theory Unification Theory](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Franz Baader
Unification Theory
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-33, 1992. {DFKI} Research Report
Unification Theory
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-33, 1992. {DFKI} Research Report
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ DFKI-RR-92-33,
author = {F. {Baader}},
institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
number = {{RR}-92-33},
title = {Unification Theory},
type = {{DFKI} Research Report},
year = {1992},
}