Pages that link to "Item:Q2303236"
From MaRDI portal
The following pages link to Politeness and combination methods for theories with bridging functions (Q2303236):
Displayed 4 items.
- Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs (Q832719) (← links)
- Polite combination of algebraic datatypes (Q2090130) (← links)
- Politeness for the theory of algebraic datatypes (Q2096449) (← links)
- A posthumous contribution by Larry Wos: excerpts from an unpublished column (Q2102925) (← links)