A New Order-Theoretic Characterisation of the Polytime Computable Functions

Martin Avanzini, Naohi Eguchi, Georg Moser. A New Order-Theoretic Characterisation of the Polytime Computable Functions. In Ranjit Jhala, Atsushi Igarashi, editors, Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings. Volume 7705 of Lecture Notes in Computer Science, pages 280-295, Springer, 2012. [doi]

Authors

Martin Avanzini

This author has not been identified. Look up 'Martin Avanzini' in Google

Naohi Eguchi

This author has not been identified. Look up 'Naohi Eguchi' in Google

Georg Moser

This author has not been identified. Look up 'Georg Moser' in Google