Unification Theory – An Introduction
Aus 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: 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}, }