Pages that link to "Item:Q2303236"

The following pages link to Politeness and combination methods for theories with bridging functions (Q2303236):

Displaying 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)