The following pages link to Frontiers of Combining Systems (Q5491893):
Displaying 6 items.
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Automatic decidability and combinability (Q549666) (← 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)