The following pages link to Double Horn functions (Q1271644):
Displayed 5 items.
- 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)