Login / Signup
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