Some uses of proof theory for finding computer programmes," Colloque International de Logique, Clermont-Ferrand (1975)

by G Kreiael
Venue:Colloques Internationaux de Centre National de la Recherche Scientifique no. 249
Add To MetaCart
Results 1 - 1 of 1

Bounded Arithmetic

by Samuel R. Buss , 1986
"... ..."
Abstract - Cited by 64 (2 self) - Add to MetaCart
Abstract not found