Pages that link to "Item:Q1606330"
From MaRDI portal
The following pages link to On functional dependencies in \(q\)-Horn theories (Q1606330):
Displaying 7 items.
- The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
- A subclass of Horn CNFs optimally compressible in polynomial time (Q693287) (← links)
- Disjoint essential sets of implicates of a CQ Horn function (Q766268) (← links)
- Functional dependencies in Horn theories (Q1285668) (← links)
- Inferring minimal functional dependencies in Horn and q-Horn theories (Q1810895) (← links)
- Logic of temporal attribute implications (Q2364366) (← links)
- On propositional definability (Q2389643) (← links)