×

Found 4 Documents (Results 1–4)

Cost functions definable by min/max automata. (English) Zbl 1388.68191

Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 29, 13 p. (2016).
MSC:  68Q70 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Fragments of fixpoint logic on data words. (English) Zbl 1366.03210

Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 98-111 (2015).
MSC:  03B70 03D05
PDFBibTeX XMLCite
Full Text: DOI

Combinatorial expressions and lower bounds. (English) Zbl 1355.68085

Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 249-261 (2015).
MSC:  68Q05 68Q10 68Q17 94C10
PDFBibTeX XMLCite
Full Text: DOI

Generalized data automata and fixpoint logic. (English) Zbl 1360.68550

Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 267-278 (2014).
MSC:  68Q45 03B25 03D05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field