Levine, Alex EDT0L solutions to equations in group extensions. (English) Zbl 07648557 J. Algebra 619, 860-899 (2023). MSC: 03D05 20F10 20F65 68Q45 PDF BibTeX XML Cite \textit{A. Levine}, J. Algebra 619, 860--899 (2023; Zbl 07648557) Full Text: DOI arXiv OpenURL
Silva, Pedro V. On the rational subsets of the monogenic free inverse monoid. (English) Zbl 07638314 J. Algebra 618, 214-240 (2023). MSC: 20M18 20M35 68Q45 68Q70 PDF BibTeX XML Cite \textit{P. V. Silva}, J. Algebra 618, 214--240 (2023; Zbl 07638314) Full Text: DOI arXiv OpenURL
Kostolányi, Peter On some decidability questions concerning supports of rational series. (English) Zbl 07609042 Inf. Process. Lett. 179, Article ID 106290, 9 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Kostolányi}, Inf. Process. Lett. 179, Article ID 106290, 9 p. (2023; Zbl 07609042) Full Text: DOI OpenURL
Shemetova, Ekaterina; Okhotin, Alexander; Grigorev, Semyon Rational index of languages with bounded dimension of parse trees. (English) Zbl 07571015 Diekert, Volker (ed.) et al., Developments in language theory. 26th international conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13257, 263-273 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{E. Shemetova} et al., Lect. Notes Comput. Sci. 13257, 263--273 (2022; Zbl 07571015) Full Text: DOI OpenURL
Köcher, Chris Rational, recognizable, and aperiodic partially lossy queue languages. (English) Zbl 07525091 Int. J. Algebra Comput. 32, No. 3, 483-528 (2022). Reviewer: Roger Villemaire (Montréal) MSC: 03D05 68Q70 68Q45 PDF BibTeX XML Cite \textit{C. Köcher}, Int. J. Algebra Comput. 32, No. 3, 483--528 (2022; Zbl 07525091) Full Text: DOI OpenURL
Prunescu, Mihai Two results about the rational numbers. (English) Zbl 07523921 Rev. Roum. Math. Pures Appl. 66, No. 3-4, 789-792 (2021). Reviewer: Victor V. Pambuccian (Glendale) MSC: 11U05 11D61 03C07 03C35 PDF BibTeX XML Cite \textit{M. Prunescu}, Rev. Roum. Math. Pures Appl. 66, No. 3--4, 789--792 (2021; Zbl 07523921) OpenURL
Ciobanu, Laura; Logan, Alan D. Variations on the post correspondence problem for free groups. (English) Zbl 07498718 Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 90-102 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{L. Ciobanu} and \textit{A. D. Logan}, Lect. Notes Comput. Sci. 12811, 90--102 (2021; Zbl 07498718) Full Text: DOI arXiv OpenURL
Dörband, Frederic Kleene and Büchi theorems for weighted forest languages over M-monoids. (English) Zbl 07433297 Inf. Comput. 281, Article ID 104765, 21 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Dörband}, Inf. Comput. 281, Article ID 104765, 21 p. (2021; Zbl 07433297) Full Text: DOI OpenURL
Belk, James; Bleak, Collin; Matucci, Francesco Rational embeddings of hyperbolic groups. (English) Zbl 07408356 J. Comb. Algebra 5, No. 2, 123-183 (2021). MSC: 20F65 20F67 20F10 68Q70 PDF BibTeX XML Cite \textit{J. Belk} et al., J. Comb. Algebra 5, No. 2, 123--183 (2021; Zbl 07408356) Full Text: DOI arXiv Backlinks: MO OpenURL
Ishizuka, Mamoru; Aoto, Takahito; Iwami, Munehiro Commutative rational term rewriting. (English) Zbl 07405988 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 200-212 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Ishizuka} et al., Lect. Notes Comput. Sci. 12638, 200--212 (2021; Zbl 07405988) Full Text: DOI OpenURL
Bell, Jason; Smertnig, Daniel Noncommutative rational Pólya series. (English) Zbl 07364075 Sel. Math., New Ser. 27, No. 3, Paper No. 34, 34 p. (2021). MSC: 68Q45 68Q70 11B37 PDF BibTeX XML Cite \textit{J. Bell} and \textit{D. Smertnig}, Sel. Math., New Ser. 27, No. 3, Paper No. 34, 34 p. (2021; Zbl 07364075) Full Text: DOI arXiv OpenURL
Kostolányi, Peter Rational elements of summation semirings. (English) Zbl 1484.68108 Theor. Comput. Sci. 867, 101-127 (2021). Reviewer: Roger Villemaire (Montréal) MSC: 68Q70 03D05 16Y60 18B20 68Q45 PDF BibTeX XML Cite \textit{P. Kostolányi}, Theor. Comput. Sci. 867, 101--127 (2021; Zbl 1484.68108) Full Text: DOI OpenURL
Carpi, Arturo; D’Alessandro, Flavio; Ibarra, Oscar H.; McQuillan, Ian Relationships between bounded languages, counter machines, finite-index grammars, ambiguity, and commutative regularity. (English) Zbl 1497.68252 Theor. Comput. Sci. 862, 97-118 (2021). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{A. Carpi} et al., Theor. Comput. Sci. 862, 97--118 (2021; Zbl 1497.68252) Full Text: DOI OpenURL
Clemente, Lorenzo; Lasota, Sławomir Reachability relations of timed pushdown automata. (English) Zbl 1484.68079 J. Comput. Syst. Sci. 117, 202-241 (2021). Reviewer: Roger Villemaire (Montréal) MSC: 68Q45 03B70 03D05 03F30 68Q60 PDF BibTeX XML Cite \textit{L. Clemente} and \textit{S. Lasota}, J. Comput. Syst. Sci. 117, 202--241 (2021; Zbl 1484.68079) Full Text: DOI arXiv OpenURL
Berthé, Valérie; Frougny, Christiane; Rigo, Michel; Sakarovitch, Jacques The carry propagation of the successor function. (English) Zbl 1484.11012 Adv. Appl. Math. 120, Article ID 102062, 54 p. (2020). Reviewer: Derong Kong (Chongqing) MSC: 11A63 11K16 37A46 37B10 68Q70 68R15 PDF BibTeX XML Cite \textit{V. Berthé} et al., Adv. Appl. Math. 120, Article ID 102062, 54 p. (2020; Zbl 1484.11012) Full Text: DOI arXiv OpenURL
Finkel, Olivier The automatic Baire property and an effective property of \(\omega\)-rational functions. (English) Zbl 1484.03075 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 303-314 (2020). MSC: 03D05 03D45 03E15 PDF BibTeX XML Cite \textit{O. Finkel}, Lect. Notes Comput. Sci. 12038, 303--314 (2020; Zbl 1484.03075) Full Text: DOI arXiv OpenURL
Almeida, Jorge; Costa, Alfredo; Kyriakoglou, Revekka; Perrin, Dominique On the group of a rational maximal bifix code. (English) Zbl 1481.20196 Forum Math. 32, No. 3, 553-576 (2020). MSC: 20M05 20M35 37B10 68Q45 68Q70 PDF BibTeX XML Cite \textit{J. Almeida} et al., Forum Math. 32, No. 3, 553--576 (2020; Zbl 1481.20196) Full Text: DOI arXiv OpenURL
Amrane, Amazigh; Bedon, Nicolas Logic and rational languages of scattered and countable series-parallel posets. (English) Zbl 1453.03037 Theor. Comput. Sci. 809, 538-562 (2020). Reviewer: Roger Villemaire (Montréal) MSC: 03D05 03B25 68Q45 PDF BibTeX XML Cite \textit{A. Amrane} and \textit{N. Bedon}, Theor. Comput. Sci. 809, 538--562 (2020; Zbl 1453.03037) Full Text: DOI arXiv OpenURL
Ganardi, Moses Visibly pushdown languages over sliding windows. (English) Zbl 07559138 Niedermeier, Rolf (ed.) et al., 36th international symposium on theoretical aspects of computer science, STACS 2019, March 13–16, 2019, Berlin, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 126, Article 29, 17 p. (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Ganardi}, LIPIcs -- Leibniz Int. Proc. Inform. 126, Article 29, 17 p. (2019; Zbl 07559138) Full Text: DOI arXiv OpenURL
Götze, Doreen; Fülöp, Zoltán; Droste, Manfred A Kleene theorem for weighted tree automata over tree valuation monoids. (English) Zbl 1439.68014 Inf. Comput. 269, Article ID 104445, 17 p. (2019). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 PDF BibTeX XML Cite \textit{D. Götze} et al., Inf. Comput. 269, Article ID 104445, 17 p. (2019; Zbl 1439.68014) Full Text: DOI OpenURL
Amrane, Amazigh; Bedon, Nicolas Logic and rational languages of scattered and countable series-parallel posets. (English) Zbl 1425.03013 Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 275-287 (2019). MSC: 03D05 03B25 PDF BibTeX XML Cite \textit{A. Amrane} and \textit{N. Bedon}, Lect. Notes Comput. Sci. 11417, 275--287 (2019; Zbl 1425.03013) Full Text: DOI arXiv OpenURL
Becker, Tim; Sutner, Klaus Orbits of abelian automaton groups. (English) Zbl 1425.68274 Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 70-81 (2019). MSC: 68Q70 20F10 PDF BibTeX XML Cite \textit{T. Becker} and \textit{K. Sutner}, Lect. Notes Comput. Sci. 11417, 70--81 (2019; Zbl 1425.68274) Full Text: DOI OpenURL
Duchamp, G. H. E.; Hoang Ngoc Minh, V.; Hoan, Ngo Quoc Kleene stars of the plane, polylogarithms and symmetries. (English) Zbl 1436.68169 Theor. Comput. Sci. 800, 52-72 (2019). MSC: 68Q45 11G55 PDF BibTeX XML Cite \textit{G. H. E. Duchamp} et al., Theor. Comput. Sci. 800, 52--72 (2019; Zbl 1436.68169) Full Text: DOI arXiv OpenURL
Blanchette, Benjamin Quasi-automatic groups are asynchronously automatic. (English) Zbl 1453.20083 Theor. Comput. Sci. 793, 193-195 (2019). MSC: 20M35 20M05 68Q45 PDF BibTeX XML Cite \textit{B. Blanchette}, Theor. Comput. Sci. 793, 193--195 (2019; Zbl 1453.20083) Full Text: DOI arXiv OpenURL
Gerdjikov, Stefan; Mihov, Stoyan; Schulz, Klaus U. Space-efficient bimachine construction based on the equalizer accumulation principle. (English) Zbl 1430.68145 Theor. Comput. Sci. 790, 80-95 (2019). MSC: 68Q45 20M35 PDF BibTeX XML Cite \textit{S. Gerdjikov} et al., Theor. Comput. Sci. 790, 80--95 (2019; Zbl 1430.68145) Full Text: DOI arXiv OpenURL
Dando, Louis-Marie; Lombardy, Sylvain From Hadamard expressions to weighted rotating automata and back. (English) Zbl 1429.68107 Theor. Comput. Sci. 787, 28-44 (2019). MSC: 68Q45 05B20 PDF BibTeX XML Cite \textit{L.-M. Dando} and \textit{S. Lombardy}, Theor. Comput. Sci. 787, 28--44 (2019; Zbl 1429.68107) Full Text: DOI OpenURL
Claesson, Anders; Guðmundsson, Bjarki Ágúst Enumerating permutations sortable by \(k\) passes through a pop-stack. (English) Zbl 1415.05012 Adv. Appl. Math. 108, 79-96 (2019). MSC: 05A15 05A05 68Q45 68Q70 68P10 68R05 PDF BibTeX XML Cite \textit{A. Claesson} and \textit{B. Á. Guðmundsson}, Adv. Appl. Math. 108, 79--96 (2019; Zbl 1415.05012) Full Text: DOI arXiv OpenURL
Kunc, Michal; Meitner, Jan The generalized rank of trace languages. (English) Zbl 1415.68134 Int. J. Found. Comput. Sci. 30, No. 1, 135-169 (2019). MSC: 68Q45 68Q70 PDF BibTeX XML Cite \textit{M. Kunc} and \textit{J. Meitner}, Int. J. Found. Comput. Sci. 30, No. 1, 135--169 (2019; Zbl 1415.68134) Full Text: DOI OpenURL
Löding, Christof; Spinrath, Christopher Decision problems for subclasses of rational relations over finite and infinite words. (English) Zbl 1416.68106 Discrete Math. Theor. Comput. Sci. 21, No. 3, Paper No. 4, 32 p. (2019). Reviewer: Michel Rigo (Liège) MSC: 68Q45 68Q25 PDF BibTeX XML Cite \textit{C. Löding} and \textit{C. Spinrath}, Discrete Math. Theor. Comput. Sci. 21, No. 3, Paper No. 4, 32 p. (2019; Zbl 1416.68106) Full Text: Link OpenURL
Mihov, Stoyan; Schulz, Klaus U. Finite-state techniques. Automata, transducers and bimachines. (English) Zbl 1465.68006 Cambridge Tracts in Theoretical Computer Science 60. Cambridge: Cambridge University Press (ISBN 978-1-108-48541-8/hbk; 978-1-108-75694-5/ebook). x, 304 p. (2019). Reviewer: Andreas Maletti (Leipzig) MSC: 68-02 20M35 68N18 68Q42 68Q45 68Q70 68T50 68W01 PDF BibTeX XML Cite \textit{S. Mihov} and \textit{K. U. Schulz}, Finite-state techniques. Automata, transducers and bimachines. Cambridge: Cambridge University Press (2019; Zbl 1465.68006) Full Text: DOI OpenURL
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio On series-parallel pomset languages: rationality, context-freeness and automata. (English) Zbl 1417.68134 J. Log. Algebr. Methods Program. 103, 130-153 (2019). MSC: 68Q85 68N30 68Q42 68Q45 68Q70 PDF BibTeX XML Cite \textit{T. Kappé} et al., J. Log. Algebr. Methods Program. 103, 130--153 (2019; Zbl 1417.68134) Full Text: DOI arXiv OpenURL
Dandan, Yang; Dolinka, Igor; Gould, Victoria A group-theoretical interpretation of the word problem for free idempotent generated semigroups. (English) Zbl 07021561 Adv. Math. 345, 998-1041 (2019). MSC: 20M05 20F10 68Q70 PDF BibTeX XML Cite \textit{Y. Dandan} et al., Adv. Math. 345, 998--1041 (2019; Zbl 07021561) Full Text: DOI arXiv Link OpenURL
Köcher, Chris Rational, recognizable, and aperiodic sets in the partially lossy queue monoid. (English) Zbl 1487.68162 Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 45, 14 p. (2018). MSC: 68Q70 03D05 20M35 PDF BibTeX XML Cite \textit{C. Köcher}, LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 45, 14 p. (2018; Zbl 1487.68162) Full Text: DOI OpenURL
Silva, Pedro V.; Zakharov, Alexander On finitely generated submonoids of virtually free groups. (English) Zbl 1491.20081 Groups Complex. Cryptol. 10, No. 2, 63-82 (2018). MSC: 20F10 20M35 20E05 20M05 68Q45 68Q70 PDF BibTeX XML Cite \textit{P. V. Silva} and \textit{A. Zakharov}, Groups Complex. Cryptol. 10, No. 2, 63--82 (2018; Zbl 1491.20081) Full Text: DOI arXiv OpenURL
McDevitt, Matthew A class of rational relations generalising the subword order. (English) Zbl 1418.68121 J. Autom. Lang. Comb. 23, No. 4, 361-386 (2018). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 68Q70 PDF BibTeX XML Cite \textit{M. McDevitt}, J. Autom. Lang. Comb. 23, No. 4, 361--386 (2018; Zbl 1418.68121) Full Text: DOI OpenURL
Akiyama, Shigeki; Marsault, Victor; Sakarovitch, Jacques On subtrees of the representation tree in rational base numeration systems. (English) Zbl 1434.11022 Discrete Math. Theor. Comput. Sci. 20, No. 1, Paper No. 10, 33 p. (2018). MSC: 11A67 68Q45 68R15 PDF BibTeX XML Cite \textit{S. Akiyama} et al., Discrete Math. Theor. Comput. Sci. 20, No. 1, Paper No. 10, 33 p. (2018; Zbl 1434.11022) Full Text: arXiv Link OpenURL
Guellouma, Younes; Cherroun, Hadda From tree automata to rational tree expressions. (English) Zbl 1402.68117 Int. J. Found. Comput. Sci. 29, No. 6, 1045-1062 (2018). MSC: 68Q45 PDF BibTeX XML Cite \textit{Y. Guellouma} and \textit{H. Cherroun}, Int. J. Found. Comput. Sci. 29, No. 6, 1045--1062 (2018; Zbl 1402.68117) Full Text: DOI OpenURL
Afonin, Sergey Decision problems and applications of rational sets of regular languages. (English) Zbl 1400.68096 Fundam. Inform. 162, No. 2-3, 101-118 (2018). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Afonin}, Fundam. Inform. 162, No. 2--3, 101--118 (2018; Zbl 1400.68096) Full Text: DOI OpenURL
Milius, Stefan Proper functors and fixed points for finite behaviour. (English) Zbl 1448.18008 Log. Methods Comput. Sci. 14, No. 3, Paper No. 22, 32 p. (2018). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 18C20 68Q55 18C50 PDF BibTeX XML Cite \textit{S. Milius}, Log. Methods Comput. Sci. 14, No. 3, Paper No. 22, 32 p. (2018; Zbl 1448.18008) Full Text: DOI arXiv OpenURL
Bedon, Nicolas Complementation of branching automata for scattered and countable \(N\)-free posets. (English) Zbl 1403.68110 Int. J. Found. Comput. Sci. 29, No. 5, 769-799 (2018). MSC: 68Q45 06A06 PDF BibTeX XML Cite \textit{N. Bedon}, Int. J. Found. Comput. Sci. 29, No. 5, 769--799 (2018; Zbl 1403.68110) Full Text: DOI OpenURL
Birmajer, Daniel; Gil, Juan B.; Weiner, Michael D. On factor-free Dyck words with half-integer slope. (English) Zbl 1388.05011 Adv. Appl. Math. 99, 94-108 (2018). MSC: 05A15 05A19 68R10 68Q45 11B73 11B83 PDF BibTeX XML Cite \textit{D. Birmajer} et al., Adv. Appl. Math. 99, 94--108 (2018; Zbl 1388.05011) Full Text: DOI arXiv OpenURL
Halava, Vesa; Harju, Tero; Sahla, Esa On fixed points of rational transductions. (English) Zbl 1412.03019 Theor. Comput. Sci. 732, 85-88 (2018). Reviewer: Saeed Salehi (Tabriz) MSC: 03D35 68Q45 PDF BibTeX XML Cite \textit{V. Halava} et al., Theor. Comput. Sci. 732, 85--88 (2018; Zbl 1412.03019) Full Text: DOI OpenURL
Otto, Friedrich; Kwee, Kent On the descriptional complexity of stateless deterministic ordered restarting automata. (English) Zbl 1390.68412 Inf. Comput. 259, Part 2, 277-302 (2018). MSC: 68Q45 03D05 PDF BibTeX XML Cite \textit{F. Otto} and \textit{K. Kwee}, Inf. Comput. 259, Part 2, 277--302 (2018; Zbl 1390.68412) Full Text: DOI OpenURL
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio Brzozowski goes concurrent – a Kleene theorem for pomset languages. (English) Zbl 1442.68145 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 25, 16 p. (2017). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{T. Kappé} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 25, 16 p. (2017; Zbl 1442.68145) Full Text: DOI arXiv OpenURL
Cadilhac, Michaël; Carton, Olivier; Paperman, Charles Continuity and rational functions. (English) Zbl 1442.68115 Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 115, 14 p. (2017). MSC: 68Q70 PDF BibTeX XML Cite \textit{M. Cadilhac} et al., LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 115, 14 p. (2017; Zbl 1442.68115) Full Text: DOI OpenURL
Demaille, Akim Derived-term automata of multitape expressions with composition. (English) Zbl 1424.68085 Sci. Ann. Comput. Sci. 27, No. 2, 137-176 (2017). MSC: 68Q45 68Q05 PDF BibTeX XML Cite \textit{A. Demaille}, Sci. Ann. Comput. Sci. 27, No. 2, 137--176 (2017; Zbl 1424.68085) Full Text: DOI OpenURL
Urbat, Henning Finite behaviours and finitary corecursion. (English) Zbl 1433.68207 Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 24, 16 p. (2017). MSC: 68Q55 18C50 PDF BibTeX XML Cite \textit{H. Urbat}, LIPIcs -- Leibniz Int. Proc. Inform. 72, Article 24, 16 p. (2017; Zbl 1433.68207) Full Text: DOI OpenURL
Cassaigne, Julien; Karhumäki, Juhani; Puzynina, Svetlana; Whiteland, Markus A. \(k\)-abelian equivalence and rationality. (English) Zbl 1396.68084 Fundam. Inform. 154, No. 1-4, 65-94 (2017). Reviewer: Anton Černý (Safat) MSC: 68R15 68Q45 PDF BibTeX XML Cite \textit{J. Cassaigne} et al., Fundam. Inform. 154, No. 1--4, 65--94 (2017; Zbl 1396.68084) Full Text: DOI OpenURL
Löding, Christof; Spinrath, Christopher Decision problems for subclasses of rational relations over finite and infinite words. (English) Zbl 1416.68105 Klasing, Ralf (ed.) et al., Fundamentals of computation theory. 21st international symposium, FCT 2017, Bordeaux, France, September 11–13, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10472, 341-354 (2017). MSC: 68Q45 68Q25 PDF BibTeX XML Cite \textit{C. Löding} and \textit{C. Spinrath}, Lect. Notes Comput. Sci. 10472, 341--354 (2017; Zbl 1416.68105) Full Text: DOI arXiv OpenURL
Rubtsov, Alexander A.; Vyalyi, Mikhail N. On computational complexity of set automata. (English) Zbl 1494.68148 Charlier, Émilie (ed.) et al., Developments in language theory. 21st international conference, DLT 2017, Liège, Belgium, August 7–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10396, 332-344 (2017). MSC: 68Q45 68Q25 PDF BibTeX XML Cite \textit{A. A. Rubtsov} and \textit{M. N. Vyalyi}, Lect. Notes Comput. Sci. 10396, 332--344 (2017; Zbl 1494.68148) Full Text: DOI arXiv OpenURL
Kunc, Michal; Meitner, Jan The generalized rank of trace languages. (English) Zbl 1410.68207 Charlier, Émilie (ed.) et al., Developments in language theory. 21st international conference, DLT 2017, Liège, Belgium, August 7–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10396, 247-259 (2017). MSC: 68Q45 68Q70 PDF BibTeX XML Cite \textit{M. Kunc} and \textit{J. Meitner}, Lect. Notes Comput. Sci. 10396, 247--259 (2017; Zbl 1410.68207) Full Text: DOI OpenURL
Honkala, Juha Rational series with high image complexity. (English) Zbl 1371.68152 RAIRO, Theor. Inform. Appl. 51, No. 1, 1-6 (2017). MSC: 68Q45 03B25 03D05 03D25 11U05 PDF BibTeX XML Cite \textit{J. Honkala}, RAIRO, Theor. Inform. Appl. 51, No. 1, 1--6 (2017; Zbl 1371.68152) Full Text: DOI OpenURL
Gerdjikov, Stefan; Mihov, Stoyan; Schulz, Klaus U. A simple method for building bimachines from functional finite-state transducers. (English) Zbl 1489.68126 Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 113-125 (2017). MSC: 68Q45 68Q04 PDF BibTeX XML Cite \textit{S. Gerdjikov} et al., Lect. Notes Comput. Sci. 10329, 113--125 (2017; Zbl 1489.68126) Full Text: DOI OpenURL
Zetzsche, Georg; Kuske, Dietrich; Lohrey, Markus On Boolean closed full trios and rational Kripke frames. (English) Zbl 1366.68155 Theory Comput. Syst. 60, No. 3, 438-472 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{G. Zetzsche} et al., Theory Comput. Syst. 60, No. 3, 438--472 (2017; Zbl 1366.68155) Full Text: DOI Link OpenURL
Mohri, Mehryar; Riley, Michael D. A disambiguation algorithm for weighted automata. (English) Zbl 1371.68159 Theor. Comput. Sci. 679, 53-68 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Mohri} and \textit{M. D. Riley}, Theor. Comput. Sci. 679, 53--68 (2017; Zbl 1371.68159) Full Text: DOI OpenURL
Gerdjikov, Stefan; Mihov, Stoyan Over which monoids is the transducer determinization procedure applicable? (English) Zbl 1485.68141 Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 380-392 (2017). MSC: 68Q45 20M35 68Q70 PDF BibTeX XML Cite \textit{S. Gerdjikov} and \textit{S. Mihov}, Lect. Notes Comput. Sci. 10168, 380--392 (2017; Zbl 1485.68141) Full Text: DOI OpenURL
Almeida, J.; Shahzamanian, M. H.; Steinberg, B. The pro-nilpotent group topology on a free group. (English) Zbl 1472.20124 J. Algebra 480, 332-345 (2017). MSC: 20M07 20E05 20E18 20M35 20F10 PDF BibTeX XML Cite \textit{J. Almeida} et al., J. Algebra 480, 332--345 (2017; Zbl 1472.20124) Full Text: DOI arXiv OpenURL
De Felice, Clelia; Mantaci, Sabrina; Restivo, Antonio On the decomposition of prefix codes. (English) Zbl 1362.68135 Theor. Comput. Sci. 664, 117-130 (2017). Reviewer: Francesco Dolce (Montréal) MSC: 68Q45 94A45 PDF BibTeX XML Cite \textit{C. De Felice} et al., Theor. Comput. Sci. 664, 117--130 (2017; Zbl 1362.68135) Full Text: DOI OpenURL
Choffrut, Christian An Hadamard operation on rational relations. (English) Zbl 1362.68194 Theor. Comput. Sci. 664, 78-90 (2017). Reviewer: Magnus Steinby (Turku) MSC: 68Q70 PDF BibTeX XML Cite \textit{C. Choffrut}, Theor. Comput. Sci. 664, 78--90 (2017; Zbl 1362.68194) Full Text: DOI OpenURL
Belk, James; Bleak, Collin Some undecidability results for asynchronous transducers and the Brin-Thompson group \(2V\). (English) Zbl 1364.20015 Trans. Am. Math. Soc. 369, No. 5, 3157-3172 (2017). Reviewer: Enrico Jabara (Venezia) MSC: 20F10 20B27 03D40 20E32 68Q45 37B05 PDF BibTeX XML Cite \textit{J. Belk} and \textit{C. Bleak}, Trans. Am. Math. Soc. 369, No. 5, 3157--3172 (2017; Zbl 1364.20015) Full Text: DOI arXiv OpenURL
Marsault, Victor; Sakarovitch, Jacques Trees and languages with periodic signature. (English) Zbl 1429.68128 Indag. Math., New Ser. 28, No. 1, 221-246 (2017). MSC: 68Q45 05C05 11A63 68R15 PDF BibTeX XML Cite \textit{V. Marsault} and \textit{J. Sakarovitch}, Indag. Math., New Ser. 28, No. 1, 221--246 (2017; Zbl 1429.68128) Full Text: DOI OpenURL
Marsault, Victor; Sakarovitch, Jacques The signature of rational languages. (English) Zbl 1355.68165 Theor. Comput. Sci. 658, Part A, 216-234 (2017). MSC: 68Q45 11A67 PDF BibTeX XML Cite \textit{V. Marsault} and \textit{J. Sakarovitch}, Theor. Comput. Sci. 658, Part A, 216--234 (2017; Zbl 1355.68165) Full Text: DOI OpenURL
Filiot, Emmanuel; Gauwin, Olivier; Lhote, Nathan First-order definability of rational transductions: an algebraic approach. (English) Zbl 1401.68216 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 387-396 (2016). MSC: 68Q70 03B70 03D05 PDF BibTeX XML Cite \textit{E. Filiot} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 387--396 (2016; Zbl 1401.68216) Full Text: DOI OpenURL
Filiot, Emmanuel; Gauwin, Olivier; Lhote, Nathan Aperiodicity of rational functions is PSPACE-complete. (English) Zbl 1391.68068 Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 13, 15 p. (2016). MSC: 68Q45 03D05 68Q17 PDF BibTeX XML Cite \textit{E. Filiot} et al., LIPIcs -- Leibniz Int. Proc. Inform. 65, Article 13, 15~p. (2016; Zbl 1391.68068) Full Text: DOI OpenURL
Mráz, František; Otto, Friedrich; Průša, Daniel Some classes of rational functions for pictures. (English) Zbl 1362.68152 RAIRO, Theor. Inform. Appl. 50, No. 4, 351-369 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{F. Mráz} et al., RAIRO, Theor. Inform. Appl. 50, No. 4, 351--369 (2016; Zbl 1362.68152) Full Text: DOI OpenURL
Almeida, J.; Costa, J. C.; Zeitoun, M. Factoriality and the Pin-Reutenauer procedure. (English) Zbl 1400.20055 Discrete Math. Theor. Comput. Sci. 18, No. 3, Paper No. 1, 23 p. (2016). MSC: 20M07 20M35 68Q70 PDF BibTeX XML Cite \textit{J. Almeida} et al., Discrete Math. Theor. Comput. Sci. 18, No. 3, Paper No. 1, 23 p. (2016; Zbl 1400.20055) Full Text: arXiv Link OpenURL
Jacot, Justine; Genot, Emmanuel; Zenker, Frank From reasonable preferences, via argumentation, to logic. (English) Zbl 1436.03171 J. Appl. Log. 18, 105-128 (2016). MSC: 03B65 91A40 91A44 PDF BibTeX XML Cite \textit{J. Jacot} et al., J. Appl. Log. 18, 105--128 (2016; Zbl 1436.03171) Full Text: DOI OpenURL
Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets. (English) Zbl 1375.18029 Appl. Categ. Struct. 24, No. 5, 663-701 (2016). MSC: 18C50 18C15 18A30 18B20 18B25 PDF BibTeX XML Cite \textit{S. Milius} et al., Appl. Categ. Struct. 24, No. 5, 663--701 (2016; Zbl 1375.18029) Full Text: DOI OpenURL
Antolín, Yago; Ciobanu, Laura Finite generating sets of relatively hyperbolic groups and applications to geodesic languages. (English) Zbl 1396.20042 Trans. Am. Math. Soc. 368, No. 11, 7965-8010 (2016). MSC: 20F67 20F10 20F05 20F65 68Q45 57M07 PDF BibTeX XML Cite \textit{Y. Antolín} and \textit{L. Ciobanu}, Trans. Am. Math. Soc. 368, No. 11, 7965--8010 (2016; Zbl 1396.20042) Full Text: DOI arXiv Backlinks: MO OpenURL
Choffrut, Christian; Guillon, Bruno Both ways rational functions. (English) Zbl 1362.68133 Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53131-0/pbk; 978-3-662-53132-7/ebook). Lecture Notes in Computer Science 9840, 114-124 (2016). MSC: 68Q45 68Q70 PDF BibTeX XML Cite \textit{C. Choffrut} and \textit{B. Guillon}, Lect. Notes Comput. Sci. 9840, 114--124 (2016; Zbl 1362.68133) Full Text: DOI OpenURL
Cassaigne, Julien; Karhumäki, Juhani; Puzynina, Svetlana; Whiteland, Markus A. \(k\)-abelian equivalence and rationality. (English) Zbl 1436.68271 Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 77-88 (2016). MSC: 68R15 68Q45 PDF BibTeX XML Cite \textit{J. Cassaigne} et al., Lect. Notes Comput. Sci. 9840, 77--88 (2016; Zbl 1436.68271) Full Text: DOI OpenURL
Bedon, Nicolas Complementation of branching automata for scattered and countable series-parallel posets. (English) Zbl 1436.68160 Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 13-25 (2016). MSC: 68Q45 06A06 20M35 PDF BibTeX XML Cite \textit{N. Bedon}, Lect. Notes Comput. Sci. 9840, 13--25 (2016; Zbl 1436.68160) Full Text: DOI OpenURL
Droste, Manfred; Fülöp, Zoltán; Götze, Doreen A Kleene theorem for weighted tree automata over tree valuation monoids. (English) Zbl 1443.68086 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 452-463 (2016). MSC: 68Q45 20M35 PDF BibTeX XML Cite \textit{M. Droste} et al., Lect. Notes Comput. Sci. 9618, 452--463 (2016; Zbl 1443.68086) Full Text: DOI OpenURL
Sutner, K. Iterating transducers. (English) Zbl 1341.68126 Fundam. Inform. 138, No. 1-2, 259-272 (2015). Reviewer: Andreas Maletti (Stuttgart) MSC: 68Q70 68Q45 PDF BibTeX XML Cite \textit{K. Sutner}, Fundam. Inform. 138, No. 1--2, 259--272 (2015; Zbl 1341.68126) Full Text: DOI OpenURL
Otto, Friedrich; Kwee, Kent Deterministic ordered restarting automata that compute functions. (English) Zbl 1434.68283 Potapov, Igor (ed.), Developments in language theory. 19th international conference, DLT 2015, Liverpool, UK, July 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9168, 401-412 (2015). MSC: 68Q45 PDF BibTeX XML Cite \textit{F. Otto} and \textit{K. Kwee}, Lect. Notes Comput. Sci. 9168, 401--412 (2015; Zbl 1434.68283) Full Text: DOI OpenURL
Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut Closure properties and complexity of rational sets of regular languages. (English) Zbl 1330.68160 Theor. Comput. Sci. 605, 62-79 (2015). MSC: 68Q45 68N30 PDF BibTeX XML Cite \textit{A. Holzer} et al., Theor. Comput. Sci. 605, 62--79 (2015; Zbl 1330.68160) Full Text: DOI OpenURL
Bedon, Nicolas Logic and branching automata. (English) Zbl 1448.68255 Log. Methods Comput. Sci. 11, No. 4, Paper No. 2, 38 p. (2015). MSC: 68Q45 03B16 03B25 03D05 06A06 PDF BibTeX XML Cite \textit{N. Bedon}, Log. Methods Comput. Sci. 11, No. 4, Paper No. 2, 38 p. (2015; Zbl 1448.68255) Full Text: DOI OpenURL
Rowland, Eric; Shallit, Jeffrey Automatic sets of rational numbers. (English) Zbl 1398.11057 Int. J. Found. Comput. Sci. 26, No. 3, 343-365 (2015). MSC: 11B85 68Q45 PDF BibTeX XML Cite \textit{E. Rowland} and \textit{J. Shallit}, Int. J. Found. Comput. Sci. 26, No. 3, 343--365 (2015; Zbl 1398.11057) Full Text: DOI arXiv OpenURL
Latteux, Michel; Roos, Yves A canonical automaton for one-rule length-preserving string rewrite systems. (English) Zbl 1329.68163 Inf. Comput. 244, 203-228 (2015). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{M. Latteux} and \textit{Y. Roos}, Inf. Comput. 244, 203--228 (2015; Zbl 1329.68163) Full Text: DOI OpenURL
Hundeshagen, Norbert; Otto, Friedrich Restarting transducers, regular languages, and rational relations. (English) Zbl 1339.68149 Theory Comput. Syst. 57, No. 1, 195-225 (2015). Reviewer: Michal Kunc (Brno) MSC: 68Q45 PDF BibTeX XML Cite \textit{N. Hundeshagen} and \textit{F. Otto}, Theory Comput. Syst. 57, No. 1, 195--225 (2015; Zbl 1339.68149) Full Text: DOI OpenURL
Lohrey, Markus; Steinberg, Benjamin; Zetzsche, Georg Rational subsets and submonoids of wreath products. (English) Zbl 1332.20038 Inf. Comput. 243, 191-204 (2015). MSC: 20F10 20E22 20M05 03B25 03D35 20M35 68Q70 PDF BibTeX XML Cite \textit{M. Lohrey} et al., Inf. Comput. 243, 191--204 (2015; Zbl 1332.20038) Full Text: DOI arXiv OpenURL
Bozzelli, Laura; Maubert, Bastien; Pinchinat, Sophie Uniform strategies, rational relations and jumping automata. (English) Zbl 1319.68140 Inf. Comput. 242, 80-107 (2015). MSC: 68Q60 03B42 03B44 03D05 68Q17 68Q45 91A80 PDF BibTeX XML Cite \textit{L. Bozzelli} et al., Inf. Comput. 242, 80--107 (2015; Zbl 1319.68140) Full Text: DOI OpenURL
Lohrey, Markus; Zetzsche, Georg On Boolean closed full trios and rational Kripke frames. (English) Zbl 1359.68174 Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 530-541 (2014). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Lohrey} and \textit{G. Zetzsche}, LIPIcs -- Leibniz Int. Proc. Inform. 25, 530--541 (2014; Zbl 1359.68174) Full Text: DOI OpenURL
Figueira, Diego; Libkin, Leonid Synchronizing relations on words. (English) Zbl 1359.68240 Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 518-529 (2014). MSC: 68R15 68Q45 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Libkin}, LIPIcs -- Leibniz Int. Proc. Inform. 25, 518--529 (2014; Zbl 1359.68240) Full Text: DOI OpenURL
Dennunzio, Alberto; Formenti, Enrico; Provillard, Julien Three research directions in non-uniform cellular automata. (English) Zbl 1360.68611 Theor. Comput. Sci. 559, 73-90 (2014). MSC: 68Q80 37B10 37B15 PDF BibTeX XML Cite \textit{A. Dennunzio} et al., Theor. Comput. Sci. 559, 73--90 (2014; Zbl 1360.68611) Full Text: DOI OpenURL
Roche-Lima, Abiel; Domaratzki, Michael; Fristensky, Brian Pairwise rational kernels obtained by automaton operations. (English) Zbl 1302.68178 Holzer, Markus (ed.) et al., Implementation and application of automata. 19th international conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08845-7/pbk). Lecture Notes in Computer Science 8587, 332-345 (2014). MSC: 68Q45 92C42 PDF BibTeX XML Cite \textit{A. Roche-Lima} et al., Lect. Notes Comput. Sci. 8587, 332--345 (2014; Zbl 1302.68178) Full Text: DOI OpenURL
Carton, Olivier Formal languages. Calculability and complexibility. 2nd ed. (Langages formels. Calculabilité et complexité.) (French) Zbl 1292.68001 Paris: Vuibert (ISBN 978-2-311-01400-6). 256 p. (2014). MSC: 68-01 68Q05 68Q15 68Q17 68Q25 68Q45 68Q70 03B25 03D05 03D20 PDF BibTeX XML Cite \textit{O. Carton}, Langages formels. Calculabilité et complexité. 2nd ed. Paris: Vuibert (2014; Zbl 1292.68001) Full Text: Link OpenURL
Formenti, Enrico; Holzer, Markus; Kutrib, Martin; Provillard, Julien \(\omega \)-rational languages: high complexity classes vs. Borel hierarchy. (English) Zbl 1407.68253 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8370, 372-383 (2014). MSC: 68Q45 03E15 PDF BibTeX XML Cite \textit{E. Formenti} et al., Lect. Notes Comput. Sci. 8370, 372--383 (2014; Zbl 1407.68253) Full Text: DOI HAL OpenURL
Bérard, Béatrice; Carton, Olivier Channel synthesis revisited. (English) Zbl 1407.68328 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8370, 149-160 (2014). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{B. Bérard} and \textit{O. Carton}, Lect. Notes Comput. Sci. 8370, 149--160 (2014; Zbl 1407.68328) Full Text: DOI HAL OpenURL
Ferté, Julien; Marin, Nathalie; Sénizergues, Géraud Word-mappings of level 2. (English) Zbl 1311.68082 Theory Comput. Syst. 54, No. 1, 111-148 (2014). MSC: 68Q45 11B75 11Y55 68Q70 68R15 PDF BibTeX XML Cite \textit{J. Ferté} et al., Theory Comput. Syst. 54, No. 1, 111--148 (2014; Zbl 1311.68082) Full Text: DOI OpenURL
Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut On the structure and complexity of rational sets of regular languages. (English) Zbl 1359.68170 Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 377-388 (2013). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{A. Holzer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 24, 377--388 (2013; Zbl 1359.68170) Full Text: DOI arXiv OpenURL
Milius, Stefan; Bonsangue, Marcello M.; Myers, Robert S. R.; Rot, Jurriaan Rational operational models. (English) Zbl 1334.68137 Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 257-282 (2013). MSC: 68Q65 68Q45 68Q85 PDF BibTeX XML Cite \textit{S. Milius} et al., Electron. Notes Theor. Comput. Sci. 298, 257--282 (2013; Zbl 1334.68137) Full Text: DOI OpenURL
Tasić, Milan B.; Stanimirović, Ivan P. Simplifications of rational matrices by using UML. (English) Zbl 1299.65081 Facta Univ., Ser. Math. Inf. 28, No. 1, 75-86 (2013). MSC: 65F30 68N15 PDF BibTeX XML Cite \textit{M. B. Tasić} and \textit{I. P. Stanimirović}, Facta Univ., Ser. Math. Inf. 28, No. 1, 75--86 (2013; Zbl 1299.65081) OpenURL
Dennunzio, Alberto; Formenti, Enrico; Provillard, Julien Local rule distributions, language complexity and non-uniform cellular automata. (English) Zbl 1297.68176 Theor. Comput. Sci. 504, 38-51 (2013). MSC: 68Q80 68Q45 PDF BibTeX XML Cite \textit{A. Dennunzio} et al., Theor. Comput. Sci. 504, 38--51 (2013; Zbl 1297.68176) Full Text: DOI OpenURL
Ésik, Z.; Kuich, W. Free inductive \(K\)-semialgebras. (English) Zbl 1286.68332 J. Log. Algebr. Program. 82, No. 3-4, 111-122 (2013). MSC: 68Q70 06F99 08A99 PDF BibTeX XML Cite \textit{Z. Ésik} and \textit{W. Kuich}, J. Log. Algebr. Program. 82, No. 3--4, 111--122 (2013; Zbl 1286.68332) Full Text: DOI arXiv OpenURL
Nagy, Benedek; Otto, Friedrich Globally deterministic CD-systems of stateless R-automata with window size 1. (English) Zbl 1286.68293 Int. J. Comput. Math. 90, No. 6, 1254-1277 (2013). MSC: 68Q45 PDF BibTeX XML Cite \textit{B. Nagy} and \textit{F. Otto}, Int. J. Comput. Math. 90, No. 6, 1254--1277 (2013; Zbl 1286.68293) Full Text: DOI Link OpenURL
Corran, Ruth; Hoffmann, Michael; Kuske, Dietrich; Thomas, Richard M. On the automaticity of singular Artin monoids of finite type. (English) Zbl 1293.20055 Int. J. Comput. Math. 90, No. 6, 1197-1222 (2013). Reviewer: Chen Yuqun (Guangzhou) MSC: 20M05 68Q45 20F10 20F36 68Q70 PDF BibTeX XML Cite \textit{R. Corran} et al., Int. J. Comput. Math. 90, No. 6, 1197--1222 (2013; Zbl 1293.20055) Full Text: DOI OpenURL
Bedon, Nicolas Logic and branching automata. (English) Zbl 1398.68297 Chatterjee, Krishnendu (ed.) et al., Mathematical foundations of computer science 2013. 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40312-5/pbk). Lecture Notes in Computer Science 8087, 123-134 (2013). MSC: 68Q45 03B25 03D05 PDF BibTeX XML Cite \textit{N. Bedon}, Lect. Notes Comput. Sci. 8087, 123--134 (2013; Zbl 1398.68297) Full Text: DOI arXiv OpenURL
Barceló, Pablo; Figueira, Diego; Libkin, Leonid Graph logics with rational relations. (English) Zbl 1272.03147 Log. Methods Comput. Sci. 9, No. 3, Paper No. 1, 44 p. (2013). MSC: 03D05 03B70 68P15 68Q45 68R15 PDF BibTeX XML Cite \textit{P. Barceló} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 1, 44 p. (2013; Zbl 1272.03147) Full Text: DOI arXiv OpenURL
Abbad, Houda; Laugerotte, Éric Computing weights. (English) Zbl 1298.68122 Konstantinidis, Stavros (ed.), Implementation and application of automata. 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39273-3/pbk). Lecture Notes in Computer Science 7982, 24-35 (2013). MSC: 68Q45 16Y60 68Q25 68Q70 PDF BibTeX XML Cite \textit{H. Abbad} and \textit{É. Laugerotte}, Lect. Notes Comput. Sci. 7982, 24--35 (2013; Zbl 1298.68122) Full Text: DOI OpenURL