Pages that link to "Item:Q507518"

The following pages link to Discovery of the \(D\)-basis in binary tables based on hypergraph dualization (Q507518):

Displaying 2 items.

• The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
• Algorithms for \(k\)-meet-semidistributive lattices (Q507534) (← links)