Pages that link to "Item:Q391791"

The following pages link to On the complexity of quantified linear systems (Q391791):

Displaying 1 item.

• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)