Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity

DOI10.1007/978-3-642-17517-6_27zbMath1311.03068OpenAlexW1540704421MaRDI QIDQ3060741

Mathieu Hoyrup, Romain Péchoux, Emmanuel Hainry, Hugo Férée

Publication date: 9 December 2010

Published in: Algorithms and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17517-6_27

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15) Higher-type and set recursion theory (03D65) Computation over the reals, computable analysis (03D78)

Related Items (2)

Ramified Corecurrence and Logspace ⋮ Characterizing polynomial time complexity of stream programs using interpretations

This page was built for publication: Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity