Login / Signup

Linear Bounded Automata and Rewrite Systems: Influence of Initial Configurations on Decision Properties.

Anne-Cécile Caron
Published in: TAPSOFT, Vol.1 (1991)
Keyphrases
  • rewrite systems
  • term rewriting
  • knuth bendix
  • object oriented
  • linear constraints