Pages that link to "Item:Q2486580"
From MaRDI portal
The following pages link to Canonization for disjoint unions of theories (Q2486580):
Displaying 7 items.
- Polite combination of algebraic datatypes (Q2090130) (← links)
- Politeness for the theory of algebraic datatypes (Q2096449) (← links)
- \textsf{CC(X)}: semantic combination of congruence closure with solvable theories (Q2864404) (← links)
- Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (Q3000635) (← links)
- Revisiting the canonicity of canonical triangulations (Q4563238) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709987) (← links)
- Automated Deduction – CADE-19 (Q5900719) (← links)