×

zbMATH — the first resource for mathematics

Found 1,947 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 (ISBN 978-3-030-40607-3/pbk; 978-3-030-40608-0/ebook). Lecture Notes in Computer Science 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
Wang, Xiaofan; Chen, Haiming
Inferring deterministic regular expression with unorder. (English) Zbl 1440.68061
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 325-337 (2020).
MSC:  68P15 68Q32 68Q45
PDF BibTeX XML Cite
\textit{X. Wang} and \textit{H. Chen}, Lect. Notes Comput. Sci. 12011, 325--337 (2020; Zbl 1440.68061)
Full Text: DOI
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On matrix ins-del systems of small sum-norm. (English) Zbl 1444.68094
Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 192-205 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{H. Fernau} et al., Lect. Notes Comput. Sci. 11376, 192--205 (2019; Zbl 1444.68094)
Full Text: DOI
Wolf, Petra
On the decidability of finding a positive ILP-instance in a regular set of ILP-instances. (English) Zbl 1434.68291
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 272-284 (2019).
MSC:  68Q45 03B25 90C10
PDF BibTeX XML Cite
\textit{P. Wolf}, Lect. Notes Comput. Sci. 11612, 272--284 (2019; Zbl 1434.68291)
Full Text: DOI
Ogawa, Mizuhito; Selivanov, Victor
On classes of regular languages related to monotone WQOs. (English) Zbl 1434.68280
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 235-247 (2019).
MSC:  68Q45 03B25 06A06
PDF BibTeX XML Cite
\textit{M. Ogawa} and \textit{V. Selivanov}, Lect. Notes Comput. Sci. 11612, 235--247 (2019; Zbl 1434.68280)
Full Text: DOI
Brzozowski, Janusz A.; Davies, Sylvie; Madan, Abhishek
State complexity of single-word pattern matching in regular languages. (English) Zbl 1434.68238
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 86-97 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{J. A. Brzozowski} et al., Lect. Notes Comput. Sci. 11612, 86--97 (2019; Zbl 1434.68238)
Full Text: DOI
Konstantinidis, Stavros; Moreira, Nelma; Pires, João; Reis, Rogério
Partial derivatives of regular expressions over alphabet-invariant and user-defined labels. (English) Zbl 1434.68271
Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 184-196 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{S. Konstantinidis} et al., Lect. Notes Comput. Sci. 11601, 184--196 (2019; Zbl 1434.68271)
Full Text: DOI
Borsotti, Angelo; Breveglieri, Luca; Crespi Reghizzi, Stefano; Morzenti, Angelo
A benchmark production tool for regular expressions. (English) Zbl 1434.68237
Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 95-107 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{A. Borsotti} et al., Lect. Notes Comput. Sci. 11601, 95--107 (2019; Zbl 1434.68237)
Full Text: DOI
Genise, Nicholas; Gentry, Craig; Halevi, Shai; Li, Baiyu; Micciancio, Daniele
Homomorphic encryption for finite automata. (English) Zbl 07196571
Galbraith, Steven D. (ed.) et al., Advances in cryptology – ASIACRYPT 2019. 25th international conference on the theory and application of cryptology and information security, Kobe, Japan, December 8–12, 2019. Proceedings. Part II. Cham: Springer (ISBN 978-3-030-34620-1/pbk; 978-3-030-34621-8/ebook). Lecture Notes in Computer Science 11922, 473-502 (2019).
MSC:  94A60 68Q45
PDF BibTeX XML Cite
\textit{N. Genise} et al., Lect. Notes Comput. Sci. 11922, 473--502 (2019; Zbl 07196571)
Full Text: DOI
Bozhko, Sergey; Khatbullina, Leyla; Grigorev, Semyon
Bar-Hillel theorem mechanization in Coq. (English) Zbl 07176931
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 264-281 (2019).
MSC:  03B70
PDF BibTeX XML Cite
\textit{S. Bozhko} et al., Lect. Notes Comput. Sci. 11541, 264--281 (2019; Zbl 07176931)
Full Text: DOI
Parker, Austin J.; Yancey, Kelly B.; Yancey, Matthew P.
Definitions and properties of entropy and distance for regular languages. (English) Zbl 07154763
Hawkins, Jane (ed.) et al., Dynamical systems and random processes, 16th Carolina dynamics symposium, Agnes Scott College, Decatur, Georgia, April 13–15, 2018. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4831-8/pbk; 978-1-4704-5446-3/ebook). Contemporary Mathematics 736, 139-169 (2019).
MSC:  37B10 68Q45 37B40 68Q70
PDF BibTeX XML Cite
\textit{A. J. Parker} et al., Contemp. Math. 736, 139--169 (2019; Zbl 07154763)
Full Text: DOI
Dubernard, Jean-Philippe; Guaiana, Giovanna; Mignot, Ludovic
Geometrical closure of binary \(V_{3/2}\) languages. (English) Zbl 1425.68194
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, 302-314 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{J.-P. Dubernard} et al., Lect. Notes Comput. Sci. 11417, 302--314 (2019; Zbl 1425.68194)
Full Text: DOI
Fenner, Stephen; Padé, Daniel
Complexity of regex crosswords. (English) Zbl 1425.68196
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, 215-230 (2019).
MSC:  68Q45 68Q17 68R05
PDF BibTeX XML Cite
\textit{S. Fenner} and \textit{D. Padé}, Lect. Notes Comput. Sci. 11417, 215--230 (2019; Zbl 1425.68196)
Full Text: DOI
Dudakov, Sergey; Karlov, Boris
On decidability of regular languages theories. (English) Zbl 07121061
van Bevern, René (ed.) et al., Computer science – theory and applications. 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19954-8/pbk; 978-3-030-19955-5/ebook). Lecture Notes in Computer Science 11532, 119-130 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{S. Dudakov} and \textit{B. Karlov}, Lect. Notes Comput. Sci. 11532, 119--130 (2019; Zbl 07121061)
Full Text: DOI
Saarela, Aleksi
Separating many words by counting occurrences of factors. (English) Zbl 07117551
Hofman, Piotrek (ed.) et al., Developments in language theory. 23rd international conference, DLT 2019, Warsaw, Poland, August 5–9, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-24885-7/pbk; 978-3-030-24886-4/ebook). Lecture Notes in Computer Science 11647, 251-264 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{A. Saarela}, Lect. Notes Comput. Sci. 11647, 251--264 (2019; Zbl 07117551)
Full Text: DOI arXiv
Martens, Wim; Trautner, Tina
Evaluation and enumeration problems for regular path queries. (English) Zbl 07229081
Kimelfeld, Benny (ed.) et al., 21st international conference on database theory, ICDT 2018, Vienna, Austria, March 26–29, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-063-7). LIPIcs – Leibniz International Proceedings in Informatics 98, Article 19, 21 p. (2018).
MSC:  68P15
PDF BibTeX XML Cite
\textit{W. Martens} and \textit{T. Trautner}, LIPIcs -- Leibniz Int. Proc. Inform. 98, Article 19, 21 p. (2018; Zbl 07229081)
Full Text: DOI
Ganardi, Moses; Hucke, Danny; König, Daniel; Lohrey, Markus; Mamouras, Konstantinos
Automata theory on sliding windows. (English) Zbl 07228422
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 (ISBN 978-3-95977-062-0). LIPIcs – Leibniz International Proceedings in Informatics 96, Article 31, 14 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{M. Ganardi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 31, 14 p. (2018; Zbl 07228422)
Full Text: DOI
Brzozowski, Janusz A.; Davies, Sylvie
Most complex deterministic union-free regular languages. (English) Zbl 1435.68150
Konstantinidis, Stavros (ed.) et al., Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10952, 37-48 (2018).
MSC:  68Q45 20M35
PDF BibTeX XML Cite
\textit{J. A. Brzozowski} and \textit{S. Davies}, Lect. Notes Comput. Sci. 10952, 37--48 (2018; Zbl 1435.68150)
Full Text: DOI
Das, Anupam; Doumane, Amina; Pous, Damien
Left-handed completeness for Kleene algebra, via cyclic proofs. (English) Zbl 1415.68124
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 271-289 (2018).
MSC:  68Q45 03B70
PDF BibTeX XML Cite
\textit{A. Das} et al., EPiC Ser. Comput. 57, 271--289 (2018; Zbl 1415.68124)
Full Text: DOI
Boker, Udi
Why these automata types? (English) Zbl 1415.68122
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 143-163 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{U. Boker}, EPiC Ser. Comput. 57, 143--163 (2018; Zbl 1415.68122)
Full Text: DOI
Bauer, Sabine; Jost, Steffen; Hofmann, Martin
Decidable inequalities over infinite trees. (English) Zbl 1415.68059
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 111-130 (2018).
MSC:  68N30 03B25 03D05 68R15
PDF BibTeX XML Cite
\textit{S. Bauer} et al., EPiC Ser. Comput. 57, 111--130 (2018; Zbl 1415.68059)
Full Text: DOI
Lindorfer, Christian
The language of self-avoiding walks. Connective constants of quasi-transitive graphs. (English) Zbl 1407.05002
BestMasters. Wiesbaden: Springer Spektrum (Master Thesis) (ISBN 978-3-658-24763-8/pbk; 978-3-658-24764-5/ebook). viii, 65 p. (2018).
MSC:  05-02 05C63 68Q45 05C90 05C78
PDF BibTeX XML Cite
\textit{C. Lindorfer}, The language of self-avoiding walks. Connective constants of quasi-transitive graphs. Wiesbaden: Springer Spektrum (Master Thesis) (2018; Zbl 1407.05002)
Full Text: DOI
Han, Yo-Sub; Ko, Sang-Ki; Ng, Timothy; Salomaa, Kai
Closest Substring problems for regular languages. (English) Zbl 06983394
Hoshi, Mizuho (ed.) et al., Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-98653-1/pbk; 978-3-319-98654-8/ebook). Lecture Notes in Computer Science 11088, 392-403 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{Y.-S. Han} et al., Lect. Notes Comput. Sci. 11088, 392--403 (2018; Zbl 06983394)
Full Text: DOI
Colbourn, Charles J.; Dougherty, Ryan E.; Lidbetter, Thomas F.; Shallit, Jeffrey
Counting subwords and regular languages. (English) Zbl 1404.68067
Hoshi, Mizuho (ed.) et al., Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-98653-1/pbk; 978-3-319-98654-8/ebook). Lecture Notes in Computer Science 11088, 231-242 (2018).
Reviewer: Sergey Afonin (Moskva)
MSC:  68Q45 68R15
PDF BibTeX XML Cite
\textit{C. J. Colbourn} et al., Lect. Notes Comput. Sci. 11088, 231--242 (2018; Zbl 1404.68067)
Full Text: DOI
Sinnamon, Corwin
Complexity of proper suffix-convex regular languages. (English) Zbl 06974644
Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94811-9/pbk; 978-3-319-94812-6/ebook). Lecture Notes in Computer Science 10977, 324-338 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{C. Sinnamon}, Lect. Notes Comput. Sci. 10977, 324--338 (2018; Zbl 06974644)
Full Text: DOI
DeBenedetto, Justin; Chiang, David
Algorithms and training for weighted multiset automata and regular expressions. (English) Zbl 06974630
Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94811-9/pbk; 978-3-319-94812-6/ebook). Lecture Notes in Computer Science 10977, 146-158 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{J. DeBenedetto} and \textit{D. Chiang}, Lect. Notes Comput. Sci. 10977, 146--158 (2018; Zbl 06974630)
Full Text: DOI
Brzozowski, Janusz A.; Kari, Lila; Li, Bai; Szykuła, Marek
State complexity of overlap assembly. (English) Zbl 06974627
Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94811-9/pbk; 978-3-319-94812-6/ebook). Lecture Notes in Computer Science 10977, 109-120 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{J. A. Brzozowski} et al., Lect. Notes Comput. Sci. 10977, 109--120 (2018; Zbl 06974627)
Full Text: DOI
Konstantinidis, Stavros; Moreira, Nelma; Reis, Rogério; Young, Joshua
Regular expressions and transducers over alphabet-invariant and user-defined labels. (English) Zbl 06974619
Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94811-9/pbk; 978-3-319-94812-6/ebook). Lecture Notes in Computer Science 10977, 4-27 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{S. Konstantinidis} et al., Lect. Notes Comput. Sci. 10977, 4--27 (2018; Zbl 06974619)
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
Classification
all top 3
Software