×

Found 48 Documents (Results 1–48)

Tropical geometry. (English) Zbl 1441.14208

Harris, Pamela E. (ed.) et al., A project-based guide to undergraduate research in mathematics. Starting and sustaining accessible undergraduate research. Cham: Birkhäuser. Found. Undergrad. Res. Math., 63-105 (2020).
MSC:  14Txx 14-01
PDFBibTeX XMLCite
Full Text: DOI arXiv

Finite sequentiality of unambiguous max-plus tree automata. (English) Zbl 1517.68212

Niedermeier, Rolf (ed.) et al., 36th international symposium on theoretical aspects of computer science, STACS 2019, March 13–16, 2019, Berlin, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 126, Article 55, 17 p. (2019).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

The equivalence, unambiguity and sequentiality problems of finitely ambiguous max-plus tree automata are decidable. (English) Zbl 1441.68128

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 53, 13 p. (2017).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

The cost of traveling between languages. (English) Zbl 1333.68304

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 234-245 (2011).
MSC:  68W32 68Q25 68Q45
PDFBibTeX XMLCite
Full Text: DOI

The equality problem for rational series with multiplicities in the tropical semiring is undecidable. (English) Zbl 1425.68213

Kuich, Werner (ed.), Automata, languages and programming. 19th international colloquium, Wien, Austria, July 13–17, 1992. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 623, 101-112 (1992).
PDFBibTeX XMLCite
Full Text: DOI HAL

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software