- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 13
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
2000
- Creator
-
Schmidt-Schauß, Manfred
- URN
-
urn:nbn:de:hebis:30-9017
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 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
- 2000
Other Objects (12)
A decision algorithm for stratified context unification
Unification of stratified second-order terms
An algorithm for distributive unification
A universal unification algorithm based on unification-driven leftmost outermost narrowing
Spatial Segmentation Algorithm for Stratified Random Sample considering geometric circumstances
German unification in the European context
Implementing a Unification Algorithm for Protocol Analysis with XOR
A Combinator-based order-sorted higher-order unification algorithm
Nominal unification with atom and context variables
On lambda binding constraints and context unification
On the complexity of linear and stratified context matching problems
PAntUDE - an anti-unification algorithm for expressing refined generalizations
A decision algorithm for stratified context unification
Unification of stratified second-order terms
An algorithm for distributive unification
A universal unification algorithm based on unification-driven leftmost outermost narrowing
Spatial Segmentation Algorithm for Stratified Random Sample considering geometric circumstances
German unification in the European context
Implementing a Unification Algorithm for Protocol Analysis with XOR
A Combinator-based order-sorted higher-order unification algorithm
Nominal unification with atom and context variables
On lambda binding constraints and context unification
On the complexity of linear and stratified context matching problems
PAntUDE - an anti-unification algorithm for expressing refined generalizations
A decision algorithm for stratified context unification
Unification of stratified second-order terms
An algorithm for distributive unification
A universal unification algorithm based on unification-driven leftmost outermost narrowing
Spatial Segmentation Algorithm for Stratified Random Sample considering geometric circumstances
German unification in the European context
Implementing a Unification Algorithm for Protocol Analysis with XOR
A Combinator-based order-sorted higher-order unification algorithm
Nominal unification with atom and context variables
On lambda binding constraints and context unification
On the complexity of linear and stratified context matching problems