Pages that link to "Item:Q741717"

The following pages link to On implicational bases of closure systems with unique critical sets. (Q741717):

Displaying 3 items.

• The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
• RQL: a query language for rule discovery in databases (Q507529) (← links)
• Algorithms for \(k\)-meet-semidistributive lattices (Q507534) (← links)