Lambda-Definable Term rewriting Systems.

Sugwoo Byun Richard Kennaway M. Ronan Sleep

Published in: ASIAN (1996)

Keyphrases

term rewriting systems
logic programs
answer sets
functional programs
fixed point
logic programming
lambda calculus
first order logic
transitive closure
situation calculus
approximation spaces
databases