Algebra and Logic
Proceedings Paper
Das,A;Oitavem,I
Leibniz International Proceedings in Informatics, LIPIcs
27th Annual EACSL Conference Computer Science Logic, CSL 2018
2018
119
10.4230/lipics.csl.2018.18
A recursion-theoretic characterisation of the positive polynomial-time functions
NOVA Math > NOVA Math > NOVA Math Publications > A recursion-theoretic characterisation of the positive polynomial-time functions