Horn clause formulation: Difference between revisions
From Polymath Wiki
Jump to navigationJump to search
TobiasFritz (talk | contribs) created with essentially no content yet |
(No difference)
|
Revision as of 02:21, 9 March 2016
The members of a union-closed family can be characterized as consisting of precisely those sets which satisfy a bunch of Horn clauses.
