Pages that link to "Item:Q2945713"

The following pages link to Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting (Q2945713):

Displaying 2 items.

• Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting (Q2945713) (← links)
• mu-term: Verify Termination Properties Automatically (System Description) (Q5049021) (← links)