Reachability in Conditional Term Rewriting Systems.

Guillaume Feuillade Thomas Genet

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

term rewriting systems
logic programs
functional programs
state space
random field model
conditional probabilities
transitive closure
databases
high level
management system
general purpose
logic programming
data integration