Unification Theory – An Introduction

Franz BaaderFranz Baader, Klaus U. SchulzKlaus U. Schulz

Datei:CIS-97-103.ps.gz

Download

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

Details
Bibtex

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: Automatentheorie

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