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):
Displayed 5 items.
- 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)
- Closure via functional dependence simplification (Q4903555) (← links)
- Formal Methods in FCA and Big Data (Q5054986) (← links)