Publisher
Springer Nature Switzerland
Reference23 articles.
1. Abu Nassar, A., Almagor, S.: Simulation by rounds of letter-to-letter transducers. In: 30th EACSL Annual Conference on Computer Science Logic (2022)
2. Almagor, S.: Process symmetry in probabilistic transducers. In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2020)
3. Beier, S., Holzer, M., Kutrib, M.: On the descriptional complexity of operations on semilinear sets. In: EPTCS, vol. 252, p. 41 (2017)
4. Büchi, J.R.: Symposium on decision problems: on a decision method in restricted second order arithmetic. In: Studies in Logic and the Foundations of Mathematics, vol. 44, pp. 1–11. Elsevier (1966)
5. Cadilhac, M., Finkel, A., McKenzie, P.: Affine Parikh automata. RAIRO-Theor. Inform. Appl. 46(4), 511–545 (2012)