Pages that link to "Item:Q5108032"
From MaRDI portal
The following pages link to The complexity of disjunction in intuitionistic logic (Q5108032):
Displaying 8 items.
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- The logic of multisets continued: The case of disjunction (Q1419383) (← links)
- On the complexity of data disjunctions. (Q1853503) (← links)
- (Q3445014) (← links)
- (Q4428299) (← links)
- (Q5253806) (← links)
- (Q5560261) (← links)
- On the computational content of intuitionistic propositional proofs (Q5940143) (← links)