Pages that link to "Item:Q5055817"

The following pages link to A complete characterization of termination of 0p 1q→1r 0s (Q5055817):

Displaying 2 items.

• On termination of confluent one-rule string-rewriting systems (Q286976) (← links)
• Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)