Pages that link to "Item:Q1960427"
From MaRDI portal
The following pages link to A PSPACE-complete fragment of second-order linear logic (Q1960427):
Displaying 4 items.
- Space-efficient fragments of higher-order fixpoint logic (Q1685775) (← links)
- The undecidability of second order multiplicative linear logic (Q1917079) (← links)
- Logical foundations for hybrid type-logical grammars (Q2135950) (← links)
- A PSPACE-complete first-order fragment of computability logic (Q5410328) (← links)