Pages that link to "Item:Q3765245"
From MaRDI portal
The following pages link to Algebraic Structures with Hard Equivalence and Minimization Problems (Q3765245):
Displayed 13 items.
- Partition semantics for relations (Q579957) (← links)
- The complexity of equivalence for commutative rings (Q758209) (← links)
- The word and generator problems for lattices (Q1105626) (← links)
- Solution of Rota's problem on the order of series-parallel networks (Q1190152) (← links)
- A linear time equivalence test for read-twice DNF formulas (Q1334630) (← links)
- Complexity of some language fragments of fuzzy logics (Q1699732) (← links)
- Computers and universal algebra: Some directions (Q1902542) (← links)
- Minimization and equivalence in multi-valued logical models of regulatory networks (Q2003489) (← links)
- Nonfinitely based ai-semirings with finitely based semigroup reducts (Q2079231) (← links)
- The finite embeddability property for residuated groupoids. (Q2510712) (← links)
- (Q2741527) (← links)
- LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS (Q4933595) (← links)
- On the complexity of dataflow analysis of logic programs (Q5204343) (← links)