Pages that link to "Item:Q3502652"
From MaRDI portal
The following pages link to A Characterisation of the Relations Definable in Presburger Arithmetic (Q3502652):
Displaying 5 items.
- Bounded minimalisation and bounded counting in argument-bounded idc's (Q3060189) (← links)
- Pure Iteration and Periodicity (Q3507417) (← links)
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics (Q3514638) (← links)
- Subclasses of presburger arithmetic and the weak EXP hierarchy (Q4635632) (← links)
- Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences (Q5415615) (← links)