Pages that link to "Item:Q2790165"
From MaRDI portal
The following pages link to Proof equivalence in MLL is PSPACE-complete (Q2790165):
Displaying 7 items.
- Completeness of MLL proof-nets w.r.t. weak distributivity (Q3426569) (← links)
- (Q4611381) (← links)
- (Q4993336) (← links)
- (Q5028444) (← links)
- Homomorphism Reconfiguration via Homotopy (Q5212954) (← links)
- Fixed-parameter algorithms for graph constraint logic (Q6041672) (← links)
- (Q6089660) (← links)