Hochschulschrift
A mechanization of sorted higher-order logic based on the resolution principle
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
XIV, 156 S.
- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 1994
- Keyword
-
Automatisches Beweisverfahren
Sortierte Logik
Stufe n
- Creator
- 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:41 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.
Object type
- Hochschulschrift
Associated
Other Objects (12)
A mechanization of sorted higher-order logic based on the resolution principle
A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Higher-Order Order-Sorted Resolution
A Combinator-based order-sorted higher-order unification algorithm
Logic programming over polymorphically order-sorted types
Multi-Sorted Logic and Logical Geometry: Some Problems
Type inferencing for polymorphic order-sorted logic programs
A Mechanization of Strong Kleene Logic for Partial Functions
Higher-order constraint logic programming
Learning higher-order logic programs
Computational aspects of an order sorted logic with term declarations
A mechanization of sorted higher-order logic based on the resolution principle
A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Higher-Order Order-Sorted Resolution
A Combinator-based order-sorted higher-order unification algorithm
Logic programming over polymorphically order-sorted types
Multi-Sorted Logic and Logical Geometry: Some Problems
Type inferencing for polymorphic order-sorted logic programs
A Mechanization of Strong Kleene Logic for Partial Functions
Higher-order constraint logic programming
Learning higher-order logic programs
Computational aspects of an order sorted logic with term declarations
A mechanization of sorted higher-order logic based on the resolution principle
A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Higher-Order Order-Sorted Resolution
A Combinator-based order-sorted higher-order unification algorithm
Logic programming over polymorphically order-sorted types
Multi-Sorted Logic and Logical Geometry: Some Problems
Type inferencing for polymorphic order-sorted logic programs
A Mechanization of Strong Kleene Logic for Partial Functions
Higher-order constraint logic programming
Learning higher-order logic programs