Pages that link to "Item:Q5741572"
From MaRDI portal
The following pages link to Characterizing<b>co-NL</b>by a group action (Q5741572):
Displayed 7 items.
- Interaction graphs: graphings (Q345705) (← links)
- Interaction graphs: additives (Q892169) (← links)
- Unary Resolution: Characterizing Ptime (Q2811353) (← links)
- (Q4580325) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)
- Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic (Q5213628) (← links)