Pages that link to "Item:Q980944"
From MaRDI portal
The following pages link to On abstract resource semantics and computability logic (Q980944):
Displaying 13 items.
- Separating the basic logics of the basic recurrences (Q409329) (← links)
- Toggling operators in computability logic (Q631756) (← links)
- Introduction to clarithmetic. I (Q642523) (← links)
- A new face of the branching recurrence of computability logic (Q712555) (← 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)
- On the toggling-branching recurrence of computability logic (Q2434574) (← links)
- Resource graphs and countermodels in resource logics (Q2848062) (← links)
- Build your own clarithmetic I: Setup and completeness (Q2974779) (← links)
- Relating structure and power: Comonadic semantics for computational resources (Q5158366) (← links)
- Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects† (Q5234244) (← links)
- A propositional cirquent calculus for computability logic. (Q6661240) (← links)