- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Universität Frankfurt am Main. Fachbereich Informatik: Interner Bericht ; 94,13
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 2
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
1994
- Creator
-
Schmidt-Schauß, Manfred
- URN
-
urn:nbn:de:hebis:30-8891
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM CET
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
- Schmidt-Schauß, Manfred
- Univ.-Bibliothek Frankfurt am Main
Time of origin
- 1994
Other Objects (12)
A decision algorithm for stratified context unification
An optimised decision algorithm for stratified context unification
Implementing a Unification Algorithm for Protocol Analysis with XOR
PAntUDE - an anti-unification algorithm for expressing refined generalizations
PAntUDE : an anti-unification algorithm for expressing refined generalizations
A universal unification algorithm based on unification-driven leftmost outermost narrowing
A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Implementation of a deterministic partial E-unification algorithm for macro tree transducers
A Combinator-based order-sorted higher-order unification algorithm
Distributive lattices
Kommutative distributive Quasigruppen
German unification - an example for Korea?
A decision algorithm for stratified context unification
An optimised decision algorithm for stratified context unification
Implementing a Unification Algorithm for Protocol Analysis with XOR
PAntUDE - an anti-unification algorithm for expressing refined generalizations
PAntUDE : an anti-unification algorithm for expressing refined generalizations
A universal unification algorithm based on unification-driven leftmost outermost narrowing
A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Implementation of a deterministic partial E-unification algorithm for macro tree transducers
A Combinator-based order-sorted higher-order unification algorithm
Distributive lattices
Kommutative distributive Quasigruppen
German unification - an example for Korea?
A decision algorithm for stratified context unification
An optimised decision algorithm for stratified context unification
Implementing a Unification Algorithm for Protocol Analysis with XOR
PAntUDE - an anti-unification algorithm for expressing refined generalizations
PAntUDE : an anti-unification algorithm for expressing refined generalizations
A universal unification algorithm based on unification-driven leftmost outermost narrowing
A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Implementation of a deterministic partial E-unification algorithm for macro tree transducers
A Combinator-based order-sorted higher-order unification algorithm
Distributive lattices
Kommutative distributive Quasigruppen