Pages that link to "Item:Q4981121"
From MaRDI portal
The following pages link to On the Succinctness of Closure Operator Representations (Q4981121):
Displaying 7 items.
- Succinctness and tractability of closure operator representations (Q507522) (← links)
- Minimum matrix representation of closure operations (Q1065561) (← links)
- Closure properties and witness reduction (Q1894449) (← links)
- AC simplifications and closure redundancies in the superposition calculus (Q2142076) (← links)
- On minimum matrix representation of closure operations (Q2276961) (← links)
- Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \) (Q2286398) (← links)
- (Q4038531) (← links)