×

Found 11,760 Documents (Results 1–100)

Undecidability of the topological entropy of reversible cellular automata and related problems. (English) Zbl 07787632

Genova, Daniela (ed.) et al., Unconventional computation and natural computation. 20th international conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14003, 108-123 (2023).
PDFBibTeX XMLCite
Full Text: DOI

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

Cellular automata and discrete complex systems. 29th IFIP WG 1.5 international workshop, AUTOMATA 2023, Trieste, Italy, August 30 – September 1, 2023. Proceedings. (English) Zbl 07768476

Lecture Notes in Computer Science 14152. Cham: Springer (ISBN 978-3-031-42249-2/pbk; 978-3-031-42250-8/ebook). xiv, 165 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Exercises in cellular automata and groups. Foreword by Rostislav I. Grigorchuk. (English) Zbl 07756329

Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-031-10390-2/hbk; 978-3-031-10393-3/pbk; 978-3-031-10391-9/ebook). xvii, 627 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. (English) Zbl 07754282

New York, NY: Association for Computing Machinery (ACM) (ISBN 979-8-4007-0033-0). xi, 30 articles, not consecutively paged (2023).
PDFBibTeX XMLCite
Full Text: DOI

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 1522.00199

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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software