Colcombet, Thomas; Kuperberg, Denis; Manuel, Amaldev; Torunczyk, Szymon 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 \textit{T. Colcombet} et al., LIPIcs -- Leibniz Int. Proc. Inform. 47, Article 29, 13 p. (2016; Zbl 1388.68191) Full Text: DOI
Colcombet, Thomas; Manuel, Amaldev 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 \textit{T. Colcombet} and \textit{A. Manuel}, LIPIcs -- Leibniz Int. Proc. Inform. 45, 98--111 (2015; Zbl 1366.03210) Full Text: DOI
Colcombet, Thomas; Manuel, Amaldev 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 \textit{T. Colcombet} and \textit{A. Manuel}, LIPIcs -- Leibniz Int. Proc. Inform. 30, 249--261 (2015; Zbl 1355.68085) Full Text: DOI
Colcombet, Thomas; Manuel, Amaldev 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 \textit{T. Colcombet} and \textit{A. Manuel}, LIPIcs -- Leibniz Int. Proc. Inform. 29, 267--278 (2014; Zbl 1360.68550) Full Text: DOI