Unification Theory – An Introduction
From International Center for Computational Logic
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
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},
}
