Combination Techniques and Decision Problems for Disunification
From International Center for Computational Logic
Combination Techniques and Decision Problems for Disunification
Franz BaaderFranz Baader, K. SchulzK. Schulz
![Combination Techniques and Decision Problems for Disunification Combination Techniques and Decision Problems for Disunification](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Franz Baader, K. Schulz
Combination Techniques and Decision Problems for Disunification
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-05, 1993. {DFKI} Research Report
Combination Techniques and Decision Problems for Disunification
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-05, 1993. {DFKI} Research Report
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ DFKI-RR-93-05,
author = {F. {Baader} and K. {Schulz}},
institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
number = {{RR}-93-05},
title = {Combination Techniques and Decision Problems for Disunification},
type = {{DFKI} Research Report},
year = {1993},
}