Article thumbnail

A new order-theoretic characterisation of the polytime computable functions

By Martin Avanzini, Naohi Eguchi, Georg Moser, Bellantoni, Avanzini, Baillot, Arai, Avanzini, Marion, Arai, Avanzini, Avanzini, Bonfante, Bonfante, Leivant, Marion, Moser, Hofmann, Hirokawa, Middeldorp, Avanzini, Moser, Hoffmann, Albert, Alias, Gulwani, Zuleger, Simmons, Leivant, Leivant, Handley, Baader, Hirokawa, Dal Lago, Avanzini, Avanzini, Shepherdson, Ferreira, Steinbach, Endrullis, Lankford and Zankl
Publisher: 'Elsevier BV'
DOI identifier: 10.1016/j.tcs.2015.03.003
OAI identifier:
Provided by: Crossref
Sorry, our data provider has not provided any external links therefore we are unable to provide a link to the full text.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

Suggested articles