Pages that link to "Item:Q507522"
From MaRDI portal
The following pages link to Succinctness and tractability of closure operator representations (Q507522):
Displaying 6 items.
- The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
- Algorithms for computing the Shapley value of cooperative games on lattices (Q1800390) (← links)
- Translating between the representations of a ranked convex geometry (Q2032718) (← links)
- AC simplifications and closure redundancies in the superposition calculus (Q2142076) (← links)
- On minimum matrix representation of closure operations (Q2276961) (← links)
- On the Succinctness of Closure Operator Representations (Q4981121) (← links)