Pages that link to "Item:Q6064021"
From MaRDI portal
The following pages link to Computations with finite closure systems and implications (Q6064021):
Displaying 5 items.
- Computing congruent closures on terms (Q1280915) (← links)
- Pruning techniques in LinCbO for computation of the Duquenne-Guigues basis (Q2117120) (← links)
- Systematization of a set of closure techniques (Q2261818) (← links)
- On the Merge of Factor Canonical Bases (Q5445333) (← links)
- Towards declarative comparabilities: application to functional dependencies (Q6615314) (← links)