Implementation of subset-equational programs

Constraint logic programming

Joxan Jaffar, J.-L. Lassez · 1987 · 1.6K citations

Computing, Computer Science, Combinatorics +10

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

Humanities, Computer Science, Logic +16

Complexity of matching problems

Dan Benanav, Deepak Kapur, Paliath Narendran · Journal of Symbolic Computation · 1987 · 96 citations

Computing, Computer Science, Mathematics +6

Listlessness is better than laziness

Philip Wadler · 1984 · 85 citations · Full text

Computing, Computer Science, Impact Measurement +6

Programming with Equations, Subsets, and Relations.

Bharat Jayaraman, David A. Plaisted · 1989 · 29 citations

Computing, Computer Science, Mathematics +10