Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations

Olivier Bournez, Arnaud Durand 0001. Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations. In Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen, editors, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany. Volume 138 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Abstract

Abstract is missing.