Pages that link to "Item:Q2405242"

The following pages link to On the combination of the Bernays-Schönfinkel-Ramsey fragment with simple linear integer arithmetic (Q2405242):

Displaying 2 items.

• A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (Q831915) (← links)
• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)