Pages that link to "Item:Q4594216"
From MaRDI portal
The following pages link to Shostak's congruence closure as completion (Q4594216):
Displayed 21 items.
- A pearl on SAT and SMT solving in Prolog (Q428887) (← links)
- Fast congruence closure and extensions (Q876046) (← links)
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- Intersection of finitely generated congruences over term algebra (Q1399965) (← links)
- Term rewriting restricted to ground terms. (Q1401322) (← links)
- On ground tree transformations and congruences induced by tree automata. (Q1401416) (← links)
- A rewriting approach to satisfiability procedures. (Q1401930) (← links)
- Restricted ground tree transducers (Q1589437) (← links)
- Conditional congruence closure over uninterpreted and interpreted symbols (Q1730315) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols (Q2090128) (← links)
- Deciding the word problem for ground identities with commutative and extensional symbols (Q2096444) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- Congruence Closure in Intensional Type Theory (Q2817913) (← links)
- Knuth-Bendix Completion for Non-Symmetric Transitive Relations (Q2841250) (← links)
- Deduction, Strategies, and Rewriting (Q2864357) (← links)
- Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (Q3000635) (← links)
- <scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240) (← links)
- (Q5094130) (← links)
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Q6135743) (← links)