Pages that link to "Item:Q3644100"

The following pages link to Effective Quantifier Elimination for Presburger Arithmetic with Infinity (Q3644100):

Displaying 2 items.

• Certified Reasoning with Infinity (Q5206958) (← links)
• Linear Quantifier Elimination as an Abstract Decision Procedure (Q5747770) (← links)