Pages that link to "Item:Q2820699"
From MaRDI portal
The following pages link to On the Complexity of the Equational Theory of Residuated Boolean Algebras (Q2820699):
Displaying 5 items.
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Polynomial space hardness without disjunction property (Q1935776) (← links)
- On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices (Q2073367) (← links)
- (Q4273435) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
