Pages that link to "Item:Q5277982"

The following pages link to An Intuitionistic Analysis of Size-change Termination (Q5277982):

Displaying 2 items.

• An intuitionistic version of Ramsey's theorem and its use in program termination (Q499082) (← links)
• RAMSEY’S THEOREM FOR PAIRS AND<i>K</i>COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC (Q4977228) (← links)