Unification Theory – An Introduction

From International Center for Computational Logic
Toggle side column

Unification Theory – An Introduction

Franz BaaderFranz Baader,  Klaus U. SchulzKlaus U. Schulz
Franz Baader, Klaus U. Schulz
Unification Theory – An Introduction
Technical Report, Center for Language and Information Processing (CIS), volume CIS-Rep-97-103, January 1997. Research Report
  • KurzfassungAbstract
    This work is a preliminary version of the chapter on unification theory in a volume on automated deduction produced by the participants of the nationwide German research programme on automated deduction (SSP ``Deduktion).
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ BaaderSchulz-CIS-97-103,
  address = {Oettingenstra{\ss}e 67, D-80538 Munich, Germany},
  author = {Franz {Baader} and Klaus U. {Schulz}},
  institution = {Center for Language and Information Processing (CIS)},
  month = {January},
  number = {CIS-Rep-97-103},
  title = {Unification Theory -- {A}n Introduction},
  type = {Research Report},
  year = {1997},
}