Searching for "Double Horn Functions." – sorted by Relevance.
-
Two-Face Horn Extensions
- time). In this paper, we introduce two interesting restrictions of Horn functions, namely double
- Add To MetaCart
-
Decision Lists and Related Boolean Functions
- "On Disguised Double Horn Functions and Extensions", which appeared in: Proc. 15th Symposium
- Cited by 9 (1 self) – Add To MetaCart
-
Recognition and Dualization of Disguised Bidual Horn Functions
- . It contains, as easily seen from results in [8], the double Horn functions (i.e., f and its complement f
- Add To MetaCart
-
Bidual Horn Functions and Extensions
- -dual are Horn, and in [13] the class of double Horn functions, where a function f is double Horn if f
- Add To MetaCart
-
On the Difference of Horn Theories
- , i.e., 1 contains all models. In [9], the class of double Horn functions has been introduced, which
- Add To MetaCart

