Combination Techniques and Decision Problems for Disunification

Franz BaaderFranz Baader, K. SchulzK. Schulz

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

Details
Bibtex

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},
}