Characterizing polynomial time complexity of stream programs using interpretations

Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup, Romain Péchoux. Characterizing polynomial time complexity of stream programs using interpretations. Theoretical Computer Science, 585:41-54, 2015. [doi]

Abstract

Abstract is missing.