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