×

Found 44,536 Documents (Results 1–100)

On the comparison of discounted-sum automata with multiple discount factors. (English) Zbl 07770346

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 371-391 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Unboundedness problems for machines with reversal-bounded counters. (English) Zbl 07770340

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 240-264 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the existential arithmetics with addition and bitwise minimum. (English) Zbl 07770337

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 176-195 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Languages generated by conjunctive query fragments of FC[REG]. (English) Zbl 07766947

Drewes, Frank (ed.) et al., Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13911, 233-245 (2023).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Rewriting rules for arithmetics in alternate base systems. (English) Zbl 07766944

Drewes, Frank (ed.) et al., Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13911, 195-207 (2023).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

On word-representable and multi-word-representable graphs. (English) Zbl 07766941

Drewes, Frank (ed.) et al., Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13911, 156-167 (2023).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

The domino problem is undecidable on every rhombus subshift. (English) Zbl 07766937

Drewes, Frank (ed.) et al., Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13911, 100-112 (2023).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Bit catastrophes for the Burrows-Wheeler transform. (English) Zbl 07766936

Drewes, Frank (ed.) et al., Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13911, 86-99 (2023).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Fast detection of specific fragments against a set of sequences. (English) Zbl 07766933

Drewes, Frank (ed.) et al., Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13911, 51-60 (2023).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Isometric words based on swap and mismatch distance. (English) Zbl 07766931

Drewes, Frank (ed.) et al., Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13911, 23-35 (2023).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Proceedings of the 16th international conference on automata and formal languages, AFL, Eger, Hungary, September 5–7, 2023. (English) Zbl 07751716

Electronic Proceedings in Theoretical Computer Science (EPTCS) 386. Waterloo: Open Publishing Association (OPA). 280 p., electronic only, open access (2023).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Advances in mathematical modelling, applied analysis and computation. Proceedings of the fifth conference, ICMMAAC 2022, JECRC University, Jaipur, India, August 4–6, 2022. (English) Zbl 07732782

Lecture Notes in Networks and Systems 666. Cham: Springer (ISBN 978-3-031-29958-2/pbk; 978-3-031-29959-9/ebook). viii, 580 p. (2023).
PDF BibTeX XML Cite
Full Text: DOI

Pushdown and one-counter automata: constant and non-constant memory usage. (English) Zbl 07729464

Bordihn, Henning (ed.) et al., Descriptional complexity of formal systems. 25th IFIP WG 1.02 international conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13918, 146-157 (2023).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

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