Login / Signup

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property.

Hiroyuki SekiToshinori TakaiYouhei FujinakaYuichi 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