The following pages link to Term Rewriting and Applications (Q5703860):
Displaying 4 items.
- On termination of confluent one-rule string-rewriting systems (Q286976) (← links)
- A canonical automaton for one-rule length-preserving string rewrite systems (Q498407) (← links)
- LARS: a learning algorithm for rewriting systems (Q2384128) (← links)
- On the termination problem for one-rule semi-Thue system (Q5055868) (← links)