Pages that link to "Item:Q4868260"
From MaRDI portal
The following pages link to Automated Deduction with Shannon Graphs (Q4868260):
Displaying 5 items.
- Binary decision diagrams for first-order predicate logic. (Q1426055) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- Deduction graphs: an algorithm and applications (Q3820061) (← links)
- Non-elementary speed-ups in proof length by different variants of classical analytic calculi (Q4610324) (← links)
- Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs (Q4916225) (← links)