- Alternative title
-
Sixth International Workshop on Unification
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
21 S.
- Language
-
Deutsch
- Bibliographic citation
-
Dagstuhl-Seminar-Report ; 42
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Geschäftsstelle Schloss Dagstuhl
- (when)
-
1992
- Contributor
-
Baader, Franz
Internationales Begegnungs- und Forschungszentrum für Informatik
UNIF (6 : 1992 : Dagstuhl)
- 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, 1:43 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.
Object type
- Konferenzschrift
Associated
- Baader, Franz
- Internationales Begegnungs- und Forschungszentrum für Informatik
- UNIF (6 : 1992 : Dagstuhl)
- Geschäftsstelle Schloss Dagstuhl
Time of origin
- 1992
Other Objects (12)
Unification theory
On the Complexity of Boolean Unification
Unification Theory - An Introduction
SAT Encoding of Unification in EL
Unification of Concept Terms in Description Logics : Revised Version
Unification in a Description Logic with Transitive Closure of Roles
Unification in the union of disjoint equational theories : combining decision procedures
Unification in the union of disjoint equational theories : combining decision procedures
Hybrid Unification in the Description Logic EL
Approximate Unification in the Description Logic FL₀
Restricted Unification in the DL FL₀ : Extended Version
SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Unification theory
On the Complexity of Boolean Unification
Unification Theory - An Introduction
SAT Encoding of Unification in EL
Unification of Concept Terms in Description Logics : Revised Version
Unification in a Description Logic with Transitive Closure of Roles
Unification in the union of disjoint equational theories : combining decision procedures
Unification in the union of disjoint equational theories : combining decision procedures
Hybrid Unification in the Description Logic EL
Approximate Unification in the Description Logic FL₀
Restricted Unification in the DL FL₀ : Extended Version
SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Unification theory
On the Complexity of Boolean Unification
Unification Theory - An Introduction
SAT Encoding of Unification in EL
Unification of Concept Terms in Description Logics : Revised Version
Unification in a Description Logic with Transitive Closure of Roles
Unification in the union of disjoint equational theories : combining decision procedures
Unification in the union of disjoint equational theories : combining decision procedures
Hybrid Unification in the Description Logic EL
Approximate Unification in the Description Logic FL₀
Restricted Unification in the DL FL₀ : Extended Version