Pages that link to "Item:Q1401363"

The following pages link to A termination proof for epsilon substitution using partial derivations (Q1401363):

Displaying 2 items.

• The epsilon calculus and Herbrand complexity (Q817706) (← links)
• Ackermann's substitution method (remixed) (Q2503393) (← links)