Pages that link to "Item:Q1934954"
From MaRDI portal
The following pages link to The parallel versus branching recurrences in computability logic (Q1934954):
Displaying 7 items.
- A cirquent calculus system with clustering and ranking (Q301368) (← links)
- Recursive properties of branching and BGG resolution (Q376931) (← links)
- A new face of the branching recurrence of computability logic (Q712555) (← links)
- On the toggling-branching recurrence of computability logic (Q2434574) (← links)
- Build your own clarithmetic I: Setup and completeness (Q2974779) (← links)
- Introduction to Cirquent Calculus and Abstract Resource Semantics (Q3412001) (← links)
- A propositional cirquent calculus for computability logic. (Q6661240) (← links)