×

Found 559 Documents (Results 1–100)

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

\(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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

\(\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
Full Text: DOI HAL

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software