×

Found 148 Documents (Results 1–100)

Finite sequentiality of unambiguous max-plus tree automata. (English) Zbl 1517.68212

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 55, 17 p. (2019).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

A sampling of remarkable groups. Thompson’s, self-similar, lamplighter, and Baumslag-Solitar. (English) Zbl 1446.20001

Compact Textbooks in Mathematics. Cham: Birkhäuser (ISBN 978-3-030-01976-1/pbk; 978-3-030-01978-5/ebook). xii, 188 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. (English) Zbl 1453.68098

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 208-226 (2017).
MSC:  68Q32 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Context-free graph properties via definable decompositions. (English) Zbl 1370.03049

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 17, 16 p. (2016).
MSC:  03C13 03B15 03D05
PDFBibTeX XMLCite
Full Text: DOI

Enhancing practical TAG parsing efficiency by capturing redundancy. (English) Zbl 1475.68144

Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9705, 310-321 (2016).
MSC:  68Q42 68Q45 68T50
PDFBibTeX XMLCite
Full Text: DOI HAL

Definability equals recognizability for \(k\)-outerplanar graphs. (English) Zbl 1378.03032

Husfeldt, Thore (ed.) et al., 10th international symposium on parameterized and exact computation, IPEC 2015, Patras, Greece, September 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-92-7). LIPIcs – Leibniz International Proceedings in Informatics 43, 175-186 (2015).
MSC:  03D05 03B15 68Q45 68R10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Solving partial-information stochastic parity games. (English) Zbl 1369.91016

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 341-348 (2013).
MSC:  91A15 68Q45 91A05
PDFBibTeX XMLCite
Full Text: DOI

Basics on tree automata. (English) Zbl 1256.68103

D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 79-109 (2012).
MSC:  68Q45 05C05
PDFBibTeX XMLCite
Full Text: DOI

Cellular automata on regular rooted trees. (English) Zbl 1297.68175

Moreira, Nelma (ed.) et al., Implementation and application of automata. 17th international conference, CIAA 2012, Porto, Portugal, July 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31605-0/pbk). Lecture Notes in Computer Science 7381, 101-112 (2012).
MSC:  68Q80 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

The non-deterministic Mostowski hierarchy and distance-parity automata. (English) Zbl 1165.68038

Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 398-409 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Algebraic classifications of regular tree languages. (English) Zbl 1092.68060

Kudryavtsev, Valery B. et al., Structural theory of automata, semigroups, and universal algebra. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, July 7–18, 2003. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-3815-1/hbk; 1-4020-3817-8/e-book). NATO Science Series II: Mathematics, Physics and Chemistry 207, 381-432 (2005).
MSC:  68Q70 08A70
PDFBibTeX XMLCite

Tree automata and essential subtrees. (English) Zbl 1021.68059

Shtrakov, Sl. (ed.) et al., Discrete mathematics and applications. Proceedings of the 6th international conference, Bansko, Bulgaria, August 31-September 2, 2001. Blagoevgrad: South-West University. Res. Math. Comput. Sci. 51-59 (2002).
PDFBibTeX XMLCite

A hierarchical approach to monadic second-order logic over graphs. (English) Zbl 0914.03006

Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 424-440 (1998).
MSC:  03B15 03D05
PDFBibTeX XMLCite

Mona \(\&\) Fido: The logic-automaton connection in practice. (English) Zbl 0916.68099

Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 311-326 (1998).
Reviewer: M.Steinby (Turku)
PDFBibTeX XMLCite

Alternation in simple devices. (English) Zbl 1412.68134

Fülöp, Zoltán (ed.) et al., Automata, languages and programming. 22nd international colloquium, ICALP ’95, Szeged, Hungary, July 10–14, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 944, 315-323 (1995).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Finite automata as characterizations of minor closed tree families (extended abstract). (English) Zbl 1418.68120

Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 359-370 (1993).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software