The following pages link to Frontiers of Combining Systems (Q5491893):
Displaying 7 items.
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Automatic decidability and combinability (Q549666) (← links)
- A rewriting approach to satisfiability procedures. (Q1401930) (← links)
- Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
- Decision procedures for extensions of the theory of arrays (Q2457800) (← links)
- Rewrite-based decision procedures (Q2864358) (← links)
- Rewrite-based satisfiability procedures for recursive data structures (Q2864524) (← links)