Arithmetizing Uniform NC", Annals of Pure and (1991)

by B Allen
Venue:Applied Logic