Konferenzschrift
6th International Workshop on Unification : 29.07. - 31.07.92
- Weitere Titel
-
Sixth International Workshop on Unification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
21 S.
- Sprache
-
Deutsch
- Erschienen in
-
Dagstuhl-Seminar-Report ; 42
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Geschäftsstelle Schloss Dagstuhl
- (wann)
-
1992
- Beteiligte Personen und Organisationen
-
Baader, Franz
Internationales Begegnungs- und Forschungszentrum für Informatik
UNIF (6 : 1992 : Dagstuhl)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:16 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
Beteiligte
- Baader, Franz
- Internationales Begegnungs- und Forschungszentrum für Informatik
- UNIF (6 : 1992 : Dagstuhl)
- Geschäftsstelle Schloss Dagstuhl
Entstanden
- 1992
Ähnliche Objekte (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
Combination of Compatible Reduction Orderings that are Total on Ground Terms
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
Combination of Compatible Reduction Orderings that are Total on Ground Terms
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