×

zbMATH — the first resource for mathematics

Found 544 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Finkel, Olivier
The automatic Baire property and an effective property of \(\omega\)-rational functions. (English) Zbl 07225132
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
PDF BibTeX XML Cite
\textit{O. Finkel}, Lect. Notes Comput. Sci. 12038, 303--314 (2020; Zbl 07225132)
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
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
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
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
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
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
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
OpenURL
Rubtsov, Alexander A.; Vyalyi, Mikhail N.
On computational complexity of set automata. (English) Zbl 06791088
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
PDF BibTeX XML Cite
\textit{A. A. Rubtsov} and \textit{M. N. Vyalyi}, Lect. Notes Comput. Sci. 10396, 332--344 (2017; Zbl 06791088)
Full Text: DOI
OpenURL
Gerdjikov, Stefan; Mihov, Stoyan; Schulz, Klaus U.
A simple method for building bimachines from functional finite-state transducers. (English) Zbl 06763318
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
PDF BibTeX XML Cite
\textit{S. Gerdjikov} et al., Lect. Notes Comput. Sci. 10329, 113--125 (2017; Zbl 06763318)
Full Text: DOI
OpenURL
Gerdjikov, Stefan; Mihov, Stoyan
Over which monoids is the transducer determinization procedure applicable? (English) Zbl 06725151
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
PDF BibTeX XML Cite
\textit{S. Gerdjikov} and \textit{S. Mihov}, Lect. Notes Comput. Sci. 10168, 380--392 (2017; Zbl 06725151)
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
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
Biskup, Joachim
Selected results and related issues of confidentiality-preserving Controlled Interaction Execution. (English) Zbl 06582822
Gyssens, Marc (ed.) et al., Foundations of information and knowledge systems. 9th international symposium, FoIKS 2016, Linz, Austria, March 7–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9616, 211-234 (2016).
MSC:  68P15 68T27 68T35 68U35
PDF BibTeX XML Cite
\textit{J. Biskup}, Lect. Notes Comput. Sci. 9616, 211--234 (2016; Zbl 06582822)
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
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
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
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
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
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
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
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
Lohrey, Markus; Steinberg, Benjamin; Zetzsche, Georg
Rational subsets and submonoids of wreath products. (English) Zbl 1293.20036
Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-39211-5/pbk). Lecture Notes in Computer Science 7966, 361-372 (2013).
MSC:  20F10 20M05 20E22 20M35 68Q70
PDF BibTeX XML Cite
\textit{M. Lohrey} et al., Lect. Notes Comput. Sci. 7966, 361--372 (2013; Zbl 1293.20036)
Full Text: DOI
OpenURL
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
Graph logics with rational relations and the generalized intersection problem. (English) Zbl 1362.68063
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 115-124 (2012).
MSC:  68P15 03B70 03D05 68Q45 68R10 68R15
PDF BibTeX XML Cite
\textit{P. Barceló} et al., in: Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25--28, 2012. Los Alamitos, CA: IEEE Computer Society. 115--124 (2012; Zbl 1362.68063)
Full Text: DOI
OpenURL
Ésik, Z.
Multi-linear iterative \(K\)-\(\Sigma\)-semialgebras. (English) Zbl 1345.08004
Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 159-170 (2011).
MSC:  08A70 68Q70 16Y60
PDF BibTeX XML Cite
\textit{Z. Ésik}, Electron. Notes Theor. Comput. Sci. 276, 159--170 (2011; Zbl 1345.08004)
Full Text: DOI
OpenURL
Bès, Alexis; Carton, Olivier
Algebraic characterization of FO for scattered linear orderings. (English) Zbl 1247.68177
Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 67-81, electronic only (2011).
MSC:  68Q70 03D05 20M35
PDF BibTeX XML Cite
\textit{A. Bès} and \textit{O. Carton}, LIPIcs -- Leibniz Int. Proc. Inform. 12, 67--81 (2011; Zbl 1247.68177)
Full Text: DOI Link
OpenURL

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software