Michaël Cadilhac, Alain Finkel & Pierre McKenzie (2011):
On the Expressiveness of Parikh Automata and Related Models.
In: Rudolf Freund, Markus Holzer, Carlo Mereghetti, Friedrich Otto & Beatrice Palano: Third Workshop on Non-Classical Models for Automata and Applications (NCMA 2011),
books@ocg.at 282.
Austrian Computer Society,
pp. 103–119.
Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez & Ritam Raha (2023):
Parikh One-Counter Automata.
In: Jérôme Leroux, Sylvain Lombardy & David Peleg: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023),
LIPIcs 272.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik,
pp. 30:1–30:15,
doi:10.4230/LIPIcs.MFCS.2023.30.
Jean-Baptiste Courtois & Sylvain Schmitz (2014):
Alternating Vector Addition Systems with States.
In: Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger & Zoltán Ésik: Mathematical Foundations of Computer Science 2014,
LNCS 8634.
Springer,
pp. 220–231,
doi:10.1007/978-3-662-44522-8_19.
Akio Fujiyoshi & Takumi Kasai (2000):
Spinal-Formed Context-Free Tree Grammars.
Theory Comput. Syst. 33(1),
pp. 59–83,
doi:10.1007/S002249910004.
Seymour Ginsburg & Edwin Spanier (1966):
Semigroups, Presburger formulas, and languages.
Pacific Journal of Mathematics 16(2),
pp. 285–296,
doi:10.2140/pjm.1966.16.285.
Mario Grobler, Leif Sabellek & Sebastian Siebertz (2024):
Remarks on Parikh-Recognizable Omega-languages.
In: Aniello Murano & Alexandra Silva: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024),
LIPIcs 288.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik,
pp. 31:1–31:21,
doi:10.4230/LIPIcs.CSL.2024.31.
I. Guessarian (1981):
On pushdown tree automata.
In: G. Goos, J. Hartmanis, W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth, Egidio Astesiano & Corrado Böhm: CAAP '81 112.
Springer,
pp. 211–223,
doi:10.1007/3-540-10828-9_64.
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen & Martin Zimmermann (2022):
Parikh Automata over Infinite Words.
In: Anuj Dawar & Venkatesan Guruswami: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022),
LIPIcs 250.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
pp. 40:1–40:20,
doi:10.4230/LIPICS.FSTTCS.2022.40.
Christoph Haase & Simon Halfon (2014):
Integer Vector Addition Systems with States.
In: Joël Ouaknine, Igor Potapov & James Worrell: Reachability Problems.
Springer,
pp. 112–124,
doi:10.1007/978-3-319-11439-2_9.
Luisa Herrmann (2021):
Linear weighted tree automata with storage and inverse linear tree homomorphisms.
Information and Computation 281,
pp. 104816,
doi:10.1016/j.ic.2021.104816.
Luisa Herrmann, Vincent Peth & Sebastian Rudolph (2024):
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.
In: Aniello Murano & Alexandra Silva: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024),
LIPIcs 288.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
pp. 33:1–33:19,
doi:10.4230/LIPICS.CSL.2024.33.
John Hopcroft, Rajeev Motwani & Jeffrey Ullmann (2000):
Introduction to Automata Theory, Languages, and Computation,
2 edition.
Addison-Wesley.
Felix Klaedtke & Harald Rueß (2002):
Parikh automata and monadic second-order logics with linear cardinality constraints.
Technical Report 177.
Albert-Ludwigs-Universität Freiburg.
(revised version).
Felix Klaedtke & Harald Rueß (2003):
Monadic Second-Order Logics with Cardinalities.
In: Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow & Gerhard J. Woeginger: Automata, Languages and Programming, 30th International Colloquium (ICALP 2003),
LNCS 2719.
Springer,
pp. 681–696,
doi:10.1007/3-540-45061-0_54.
Patrick Lincoln, John Mitchell, Andre Scedrov & Natarajan Shankar (1992):
Decision problems for propositional linear logic.
Annals of Pure and Applied Logic 56(1),
pp. 239–311,
doi:10.1016/0168-0072(92)90075-B.
Marvin L. Minsky (1967):
Computation: finite and infinite machines.
Prentice-Hall, Inc..
J. W. Thatcher & J. B. Wright (1968):
Generalized finite automata theory with an application to a decision problem of second-order logic.
Mathematical systems theory 2,
pp. 57–81,
doi:10.1007/BF01691346.