Parallelization of termination checker for term rewriting system.

Rui Ding Haruhiko Sato Masahito Kurihara

Published in: SMC (2012)

Keyphrases

term rewriting
rewrite systems
theorem proving
theorem prover
operational semantics
knuth bendix
parallel processing
shared memory
inference rules
knowledge base
multi agent
relational databases
natural language processing
parallel execution
parallel implementations