Pages that link to "Item:Q2790165"
From MaRDI portal
The following pages link to Proof equivalence in MLL is PSPACE-complete (Q2790165):
Displayed 7 items.
- (Q4611381) (← links)
- (Q4993336) (← links)
- (Q5028444) (← links)
- Homomorphism Reconfiguration via Homotopy (Q5212954) (← links)
- Fixed-parameter algorithms for graph constraint logic (Q6041672) (← links)
- (Q6089660) (← links)
- Combinatorial flows as bicolored atomic flows (Q6103000) (← links)