Pages that link to "Item:Q1886319"

The following pages link to Deciding confluence of certain term rewriting systems in polynomial time (Q1886319):

Displaying 4 items.

• A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems (Q613611) (← links)
• Normalization properties for shallow TRS and innermost rewriting (Q964737) (← links)
• (Q4553285) (← links)
• Uniqueness of Normal Forms for Shallow Term Rewrite Systems (Q5278216) (← links)