Partial Order Infinitary Term Rewriting and Böhm Trees.

Published in: RTA (2010)

Keyphrases

partial order
term rewriting
partially ordered
theorem proving
theorem prover
total order
operational semantics
rewrite systems
knuth bendix
decision trees
preference relations
database
lattice structure
maximum weight
causal links
dominance relation
state space
multi agent systems
knowledge base
data mining