Termination and Confluence in Infinitary Term Rewriting.

Pieter Hendrik Rodenburg

Published in: J. Symb. Log. (1998)

Keyphrases

term rewriting
rewrite systems
theorem proving
theorem prover
knuth bendix
operational semantics
data mining
first order logic
artificial intelligence
multi agent
semi supervised
formal semantics