Layered Transducing Term Rewriting System and Its Recognizability Preserving Property.

Hiroyuki Seki Toshinori Takai Youhei Fujinaka Yuichi Kaji

Published in: RTA (2002)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
first order logic
knowledge representation
description logics