Polynomial time operations in explicit mathematics (0)

by T Strahm
Venue:The Journal of Symbolic Logic