×

Found 10 Documents (Results 1–10)

Improving the upper bound on the length of the shortest reset word. (English) Zbl 1440.68164

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 56, 13 p. (2018).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Synchronizing automata with extremal properties. (English) Zbl 1465.68154

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 331-343 (2015).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software