Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints.

Roberto Di Cosmo Delia Kesner

Published in: Theor. Comput. Sci. (1996)

Keyphrases

fixed point
nonmonotonic reasoning
partial order
qualitative spatial
databases
special case
logic programs
conjunctive queries
deductive databases
rewrite rules