The following pages link to (Q2762631):
Displaying 8 items.
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- Constraints, consistency and closure (Q1274280) (← links)
- On generalized constraints and certificates (Q1841905) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- \(p\)-constraint and the transitivity theorem (Q2545350) (← links)
- Constraints in non-Boolean contexts (Q2909151) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Constrained equational deduction (Q5881303) (← links)