Pages that link to "Item:Q5410328"
From MaRDI portal
The following pages link to A PSPACE-complete first-order fragment of computability logic (Q5410328):
Displaying 5 items.
- A constant-space sequential model of computation for first-order logic (Q1271562) (← links)
- On the toggling-branching recurrence of computability logic (Q2434574) (← links)
- Build your own clarithmetic I: Setup and completeness (Q2974779) (← links)
- (Q3678664) (← links)
- A propositional cirquent calculus for computability logic. (Q6661240) (← links)