Pages that link to "Item:Q1285668"
From MaRDI portal
The following pages link to Functional dependencies in Horn theories (Q1285668):
Displayed 8 items.
- A subclass of Horn CNFs optimally compressible in polynomial time (Q693287) (← links)
- The multiple facets of the canonical direct unit implicational basis (Q974107) (← 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)
- On propositional definability (Q2389643) (← links)
- Closure via functional dependence simplification (Q4903555) (← links)
- SOME ORDER DUALITIES IN LOGIC, GAMES AND CHOICES (Q5294338) (← links)
- (Q5389723) (← links)