Pages that link to "Item:Q945055"

The following pages link to Proof synthesis and reflection for linear arithmetic (Q945055):

Displaying 4 items.

• A heuristic prover for real inequalities (Q287379) (← links)
• Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
• Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
• Formalizing the Logic-Automaton Connection (Q3183526) (← links)