Pages that link to "Item:Q2873677"

The following pages link to Undecidable Properties on Length-Two String Rewriting Systems (Q2873677):

Displaying 1 item.

• Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent (Q407556) (← links)