Clemente, Lorenzo; Parys, Paweł; Salvati, Sylvain; Walukiewicz, Igor The diagonal problem for higher-order recursion schemes is decidable. (English) Zbl 1401.68158 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 96-105 (2016). MSC: 68Q45 03B25 68Q42 68Q85 PDFBibTeX XMLCite \textit{L. Clemente} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 96--105 (2016; Zbl 1401.68158) Full Text: DOI arXiv
Clemente, Lorenzo; Parys, Paweł; Salvati, Sylvain; Walukiewicz, Igor Ordered tree-pushdown systems. (English) Zbl 1366.68141 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, 163-177 (2015). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Clemente} et al., LIPIcs -- Leibniz Int. Proc. Inform. 45, 163--177 (2015; Zbl 1366.68141) Full Text: DOI arXiv