Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types | 4 | 0.42 | 1996 |
| Reasoning with Higher Order Partial Functions | 1 | 0.37 | 1992 |
| A First-Order Logic for Partial Recursive Functions | 0 | 0.34 | 1990 |
| A First Order Logic for Partial Functions (Extended Abstract) | 2 | 0.55 | 1989 |