The following pages link to Automated Reasoning (Q5307055):
Displaying 5 items.
- Reasoning about algebraic data types with abstractions (Q1694026) (← links)
- Decision procedures for term algebras with integer constraints (Q2432767) (← links)
- An abstract decision procedure for satisfiability in the theory of recursive data types (Q2864522) (← links)
- Rewrite-based satisfiability procedures for recursive data structures (Q2864524) (← links)
- Towards Complete Reasoning about Axiomatic Specifications (Q3075488) (← links)