The following pages link to Double Horn functions (Q1271644):
Displaying 7 items.
- Incremental polynomial time dualization of quadratic functions and a subclass of degree-\(k\) functions (Q646712) (← links)
- Computational aspects of monotone dualization: a brief survey (Q943839) (← links)
- Recognition and dualization of disguised bidual Horn functions. (Q1853017) (← links)
- Bidual Horn functions and extensions (Q1961447) (← links)
- On the difference of Horn theories (Q5929916) (← links)
- Decision lists and related Boolean functions (Q5958318) (← links)
- Union-closed sets and Horn Boolean functions (Q6144385) (← links)