Pages that link to "Item:Q3502652"

The following pages link to A Characterisation of the Relations Definable in Presburger Arithmetic (Q3502652):

Displaying 2 items.

• Bounded minimalisation and bounded counting in argument-bounded idc's (Q3060189) (← links)
• Pure Iteration and Periodicity (Q3507417) (← links)