The following pages link to Dissolution (Q3140015):
Displaying 4 items.
- Linearity and regularity with negation normal form (Q703486) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- Efficient query processing with reduced implicate tries (Q877893) (← links)
- On the relative merits of path dissolution and the method of analytic tableaux (Q1331929) (← links)
