- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 15
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Frankfurt am Main
- (wer)
-
Univ.-Bibliothek Frankfurt am Main
- (wann)
-
2001
- Urheber
-
Schmidt-Schauß, Manfred
Schulz, Klaus U.
- URN
-
urn:nbn:de:hebis:30-9039
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:48 MESZ
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.
Beteiligte
- Schmidt-Schauß, Manfred
- Schulz, Klaus U.
- Univ.-Bibliothek Frankfurt am Main
Entstanden
- 2001
Ähnliche Objekte (12)
Decidability of bounded second order unification
Functions-as-constructors higher-order unification: extended pattern unification
Bounded reasoning and higher-order uncertainty
A Combinator-based order-sorted higher-order unification algorithm
Nominal unification of higher order expressions with recursive let
Higher-Order Pattern Anti-Unification in Linear Time
Unification of sixth-order iterative methods
Unification of stratified second-order terms
Aspects of grand unification in higher dimensions
Aspects of grand unification in higher dimensions
General solution to a higher-order linear difference equation and existence of bounded solutions
Compactness of Special Functions of Bounded Higher Variation
Decidability of bounded second order unification
Functions-as-constructors higher-order unification: extended pattern unification
Bounded reasoning and higher-order uncertainty
A Combinator-based order-sorted higher-order unification algorithm
Nominal unification of higher order expressions with recursive let
Higher-Order Pattern Anti-Unification in Linear Time
Unification of sixth-order iterative methods
Unification of stratified second-order terms
Aspects of grand unification in higher dimensions
Aspects of grand unification in higher dimensions
General solution to a higher-order linear difference equation and existence of bounded solutions
Compactness of Special Functions of Bounded Higher Variation
Decidability of bounded second order unification
Functions-as-constructors higher-order unification: extended pattern unification
Bounded reasoning and higher-order uncertainty
A Combinator-based order-sorted higher-order unification algorithm
Nominal unification of higher order expressions with recursive let
Higher-Order Pattern Anti-Unification in Linear Time
Unification of sixth-order iterative methods
Unification of stratified second-order terms
Aspects of grand unification in higher dimensions
Aspects of grand unification in higher dimensions
General solution to a higher-order linear difference equation and existence of bounded solutions