The following pages link to Computer Science Logic (Q5311286):
Displaying 13 items.
- Model evolution with equality -- revised and implemented (Q429586) (← links)
- A combined superposition and model evolution calculus (Q438531) (← links)
- An instantiation scheme for satisfiability modulo theories (Q438578) (← links)
- Comparing instance generation methods for automated reasoning (Q877884) (← links)
- Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- Decision procedures for extensions of the theory of arrays (Q2457800) (← links)
- (Q4818813) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
- The Relative Power of Semantics and Unification (Q4916085) (← links)
- iProver-Eq: An Instantiation-Based Theorem Prover with Equality (Q5747761) (← links)