Pages that link to "Item:Q5900979"
From MaRDI portal
The following pages link to Proof Complexity of Non-classical Logics (Q5900979):
Displaying 11 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- A recipe for the complexity analysis of non-classical logics (Q2782480) (← links)
- (Q3681934) (← links)
- Complexity Results for Nonmonotonic Logics (Q4018170) (← links)
- (Q4501542) (← links)
- Logics for complexity classes (Q4644504) (← links)
- (Q4896502) (← links)
- (Q4904137) (← links)
- Logics which capture complexity classes over the reals (Q5055931) (← links)
- Non-deterministic Boolean Proof Nets (Q5747635) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)