DMCA

Choiceless Polynomial Time Computation and the . . . (2000)

by Andreas Blass , Yuri Gurevich
Venue:IN PROC. OF CSL 2000