Pages that link to "Item:Q1659991"

The following pages link to Lattices, closures systems and implication bases: a survey of structural aspects and algorithms (Q1659991):

Displaying 1 item.

• The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)