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