Pages that link to "Item:Q2007734"
From MaRDI portal
The following pages link to One-variable logic meets Presburger arithmetic (Q2007734):
Displaying 4 items.
- One-and-a-halfth-order Logic (Q3520234) (← links)
- Arithmetic, first-order logic, and counting quantifiers (Q5277734) (← links)
- Two variable logic with ultimately periodic counting (Q6573777) (← links)
- On two-variable guarded fragment logic with expressive local Presburger constraints (Q6597967) (← links)