Pages that link to "Item:Q1004290"
From MaRDI portal
The following pages link to Toward the interpretation of non-constructive reasoning as non-monotonic learning (Q1004290):
Displaying 3 items.
- Games with 1-backtracking (Q636360) (← links)
- GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION (Q4977225) (← links)
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)
