Pages that link to "Item:Q845722"

The following pages link to Minimum implicational basis for \(\wedge\)-semidistributive lattices (Q845722):

Displayed 5 items.

• The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) ‎ (← links)
• Algorithms for \(k\)-meet-semidistributive lattices (Q507534) ‎ (← links)
• On the complexity of enumerating pseudo-intents (Q628340) ‎ (← links)
• Compressed representation of learning spaces (Q1679036) ‎ (← links)
• A depth-first search algorithm for computing pseudo-closed sets (Q1800382) ‎ (← links)