Pages that link to "Item:Q1281494"

The following pages link to Decidability and complexity analysis by basic paramodulation (Q1281494):

Displaying 2 items.

• A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems (Q613611) (← links)
• Permutative rewriting and unification (Q876048) (← links)