Pages that link to "Item:Q1121854"
From MaRDI portal
The following pages link to Functions computed by monotone Boolean formulas with no repeated variables (Q1121854):
Displaying 8 items.
- Theory revision with queries: Horn, read-once, and parity formulas (Q814598) (← links)
- Solution of Rota's problem on the order of series-parallel networks (Q1190152) (← links)
- Double Horn functions (Q1271644) (← links)
- Minimum self-dual decompositions of positive dual-minor Boolean functions (Q1961458) (← links)
- On lengths of edge-labeled graph expressions (Q2161278) (← links)
- Computer science and decision theory (Q2271874) (← links)
- Decomposition methods for generating algebraic expressions of full square rhomboids and other graphs (Q2357161) (← links)
- Decision lists and related Boolean functions (Q5958318) (← links)
