Top 1151 outreach programs PDF Book Page 46

book image

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Andreas Abel, Ralph Matthes (auth.), Herman Geuvers, Freek Wiedijk (eds.)
·339 Pages
·2003
·2.936 MB

book image

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

Eric Allender (auth.), Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (eds.)
·464 Pages
·2010
·7.341 MB