Unification in the union of disjoint equational theories : combining decision procedures
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
33 S.
- Language
-
Englisch
- Notes
-
Literaturverz. S. 30 - 33
- Bibliographic citation
-
CIS-Bericht / Centrum für Informations- und Sprachverarbeitung ; 59
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
CIS
- (when)
-
[1992]
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:04 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Baader, Franz
- Schulz, Klaus U.
- CIS
Time of origin
- [1992]
Other Objects (12)
On the combination of symbolic constraints, solution domains, and constraint solvers
Unification in the union of disjoint equational theories : combining decision procedures
Unification theory
On the Complexity of Boolean Unification
Typsysteme funktionaler Programmiersprachen, Teil 1
CIS papers
Implementation of the comprehensive unification formalism
Unification Theory - An Introduction
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
Extended abstracts of the Tenth International Workshop on Unification
SAT Encoding of Unification in EL
Unification of Concept Terms in Description Logics : Revised Version
On the combination of symbolic constraints, solution domains, and constraint solvers
Unification in the union of disjoint equational theories : combining decision procedures
Unification theory
On the Complexity of Boolean Unification
Typsysteme funktionaler Programmiersprachen, Teil 1
CIS papers
Implementation of the comprehensive unification formalism
Unification Theory - An Introduction
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
Extended abstracts of the Tenth International Workshop on Unification
SAT Encoding of Unification in EL
Unification of Concept Terms in Description Logics : Revised Version
On the combination of symbolic constraints, solution domains, and constraint solvers
Unification in the union of disjoint equational theories : combining decision procedures
Unification theory
On the Complexity of Boolean Unification
Typsysteme funktionaler Programmiersprachen, Teil 1
CIS papers
Implementation of the comprehensive unification formalism
Unification Theory - An Introduction
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
Extended abstracts of the Tenth International Workshop on Unification
SAT Encoding of Unification in EL