Pages that link to "Item:Q5958775"

The following pages link to On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775):

Displaying 2 items.

• Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
• Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)