Pages that link to "Item:Q2389660"
From MaRDI portal
The following pages link to Redundancy in logic. III: Non-monotonic reasoning (Q2389660):
Displaying 4 items.
- Algorithms for computing minimal equivalent subformulas (Q460638) (← links)
- Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
- Redundancy in logic. II: 2CNF and Horn propositional formulae (Q2389621) (← links)
- Removing Redundancy from Answer Set Programs (Q5504694) (← links)