Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Differential logic programs: programming methodologies and semantics | 0 | 0.34 | 1996 |
| A new fixpoint semantics for Prolog | 9 | 0.53 | 1993 |
| Combinatory forms for equational programming instances, unification and narrowing | 3 | 0.42 | 1990 |