Pages that link to "Item:Q2893309"
From MaRDI portal
The following pages link to Syntactic complexity of ultimately periodic sets of integers and application to a decision procedure (Q2893309):
Displaying 6 items.
- Periodic sets of integers (Q1342238) (← links)
- Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity (extended abstract) (Q2957912) (← links)
- Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order (Q2988842) (← links)
- Ultimate periodicity problem for linear numeration systems (Q5075706) (← links)
- (Q5227519) (← links)
- Euclidean division by \(d\) in base \(b\) (Q6652462) (← links)