The following pages link to Games with 1-backtracking (Q636360):
Displaying 6 items.
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- Toward the interpretation of non-constructive reasoning as non-monotonic learning (Q1004290) (← links)
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism (Q2637708) (← links)
- Positive Arithmetic Without Exchange Is a Subclassical Logic (Q3498443) (← links)
- GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION (Q4977225) (← links)
- A New Translation for Semi-classical Theories — Backtracking without CPS (Q5458438) (← links)