Pages that link to "Item:Q1810895"
From MaRDI portal
The following pages link to Inferring minimal functional dependencies in Horn and q-Horn theories (Q1810895):
Displaying 8 items.
- The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
- Functional dependencies in Horn theories (Q1285668) (← links)
- On functional dependencies in \(q\)-Horn theories (Q1606330) (← links)
- Efficient dualization of \(O(\log n\))-term monotone disjunctive normal forms (Q1861581) (← links)
- On propositional definability (Q2389643) (← links)
- Deductive inference for the interiors and exteriors of horn theories (Q2946672) (← links)
- Closure via functional dependence simplification (Q4903555) (← links)
- Formal Methods in FCA and Big Data (Q5054986) (← links)