Termination Proofs and the Length of Derivations (Preliminary Version).

Dieter Hofbauer Clemens Lautemann

Published in: RTA (1989)

Keyphrases

bayesian networks
preliminary version
theorem proving
term rewriting
theorem prover
formal proofs
inference rules
fixed length
total length
maximum number
equational theories
rewrite systems
decision procedures
data sets
wireless sensor networks
relational databases
natural language
information systems