The following pages link to (Q4249522):
Displaying 6 items.
- Disjoint essential sets of implicates of a CQ Horn function (Q766268) (← links)
- Normality of Horn theories with a nonmaximal spectrum (Q1086227) (← links)
- Semantical and computational aspects of Horn approximations (Q1575175) (← links)
- Join on Closure Systems Using Direct Implicational Basis Representation (Q3627735) (← links)
- (Q4945199) (← links)
- On the difference of Horn theories (Q5929916) (← links)