Pages that link to "Item:Q1777408"
From MaRDI portal
The following pages link to Extension and equivalence problems for clause minimal formulae (Q1777408):
Displaying 5 items.
- The complexity of variable minimal formulas (Q708020) (← links)
- Redundancy in logic. II: 2CNF and Horn propositional formulae (Q2389621) (← links)
- Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
- Redundancy in logic. I: CNF propositional formulae (Q2457681) (← links)
- On Minimum Representations of Matched Formulas (Q2938476) (← links)