Pages that link to "Item:Q1285668"
From MaRDI portal
The following pages link to Functional dependencies in Horn theories (Q1285668):
Displaying 16 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)
- The multiple facets of the canonical direct unit implicational basis (Q974107) (← links)
- Functional dependencies, supervenience, and consequence relations (Q1322439) (← links)
- On functional dependencies in \(q\)-Horn theories (Q1606330) (← links)
- Lattices, closures systems and implication bases: a survey of structural aspects and algorithms (Q1659991) (← links)
- Inferring minimal functional dependencies in Horn and q-Horn theories (Q1810895) (← links)
- On propositional definability (Q2389643) (← links)
- Unique key Horn functions (Q2672584) (← links)
- (Q3341951) (← links)
- (Q4721676) (← links)
- Closure via functional dependence simplification (Q4903555) (← links)
- SOME ORDER DUALITIES IN LOGIC, GAMES AND CHOICES (Q5294338) (← links)
- (Q5389723) (← links)
- Logics in Artificial Intelligence (Q5394159) (← links)
- Foreword (Q5965764) (← links)