E-Books durchsuchen
Foundations of Logic and Functional Programming [1988]
- 1
-
<Emphasis Type="Italic">Rum</Emphasis> an intensional theory of function and control abstractions
- 45
-
Typechecking dependent types and subtypes
- 58
-
Reducing recursion to iteration by means of pairs and N-tuples
- 67
-
Unification revisited
- 114
-
Rule rewriting methods for efficient implementations of horn logic
- 141
-
PAP: a logic programming system based on a constructive logic
- 157
-
A completeness result for E-unification algorithms based on conditional narrowing
- 168
-
Representing domain structure of many-sorted Prolog knowledge bases
- 184
-
Horn: An inference engine prototype to implement intelligent systems
- 201
-
Hints for the design of a set calculus oriented to Automated Deduction