Pages that link to "Item:Q2903763"
From MaRDI portal
The following pages link to Soundness and completeness of the Cirquent calculus system CL6 for computability logic (Q2903763):
Displayed 7 items.
- A cirquent calculus system with clustering and ranking (Q301368) (← links)
- The parallel versus branching recurrences in computability logic (Q1934954) (← links)
- The taming of recurrences in computability logic through cirquent calculus. I (Q1935369) (← links)
- The countable versus uncountable branching recurrences in computability logic (Q1948283) (← links)
- Build your own clarithmetic I: Setup and completeness (Q2974779) (← links)
- Cirquent Calculus in a Nutshell (Q5059715) (← links)
- A PSPACE-complete first-order fragment of computability logic (Q5410328) (← links)