- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
29 cm
- Extent
-
91 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturverz. S. 89 - 91
- Bibliographic citation
-
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; 1993,18
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- (when)
-
1993
- Creator
-
With, Lars
- 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:48 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.
Associated
- With, Lars
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Time of origin
- 1993
Other Objects (12)
A semantic approach to order sorted rewriting
Higher-Order Order-Sorted Resolution
Completeness, confluence, and related properties of clause graph resolution
Completeness and confluence properties of Kowalski's clause graph calculus
Syntactic Confluence Criteria for Positive-, Negative-Conditional Term Rewriting Systems
Sound and complete translations from sorted higher-order logic into sorted first-order logic
A Combinator-based order-sorted higher-order unification algorithm
Logic programming over polymorphically order-sorted types
Confluence
Rewriting Higher-Order Stack Trees
Type inferencing for polymorphic order-sorted logic programs
Henkin Completeness of Higher-Order Resolution
A semantic approach to order sorted rewriting
Higher-Order Order-Sorted Resolution
Completeness, confluence, and related properties of clause graph resolution
Completeness and confluence properties of Kowalski's clause graph calculus
Syntactic Confluence Criteria for Positive-, Negative-Conditional Term Rewriting Systems
Sound and complete translations from sorted higher-order logic into sorted first-order logic
A Combinator-based order-sorted higher-order unification algorithm
Logic programming over polymorphically order-sorted types
Confluence
Rewriting Higher-Order Stack Trees
Type inferencing for polymorphic order-sorted logic programs
Henkin Completeness of Higher-Order Resolution
A semantic approach to order sorted rewriting
Higher-Order Order-Sorted Resolution
Completeness, confluence, and related properties of clause graph resolution
Completeness and confluence properties of Kowalski's clause graph calculus
Syntactic Confluence Criteria for Positive-, Negative-Conditional Term Rewriting Systems
Sound and complete translations from sorted higher-order logic into sorted first-order logic
A Combinator-based order-sorted higher-order unification algorithm
Logic programming over polymorphically order-sorted types
Confluence
Rewriting Higher-Order Stack Trees
Type inferencing for polymorphic order-sorted logic programs