Pages that link to "Item:Q2389621"
From MaRDI portal
The following pages link to Redundancy in logic. II: 2CNF and Horn propositional formulae (Q2389621):
Displaying 7 items.
- Algorithms for computing minimal equivalent subformulas (Q460638) (← links)
- Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
- Logical reduction of metarules (Q2203321) (← links)
- Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
- Redundancy in logic. I: CNF propositional formulae (Q2457681) (← links)
- Efficient Reasoning for Inconsistent Horn Formulae (Q2835881) (← links)
- Proving the infeasibility of Horn formulas through read-once resolution (Q6558679) (← links)
