ID:DA11479612
Conference on the Mathematics of Program Construction, International
Mathematics of Program Construction, International Conference
International Conference, MPC
MPC
Conference on Mathematics of Program Construction
Search authors sharing the same name
Jeremy Gibbons, Pablo Nogueira (eds.)
Springer c2012 Lecture notes in computer science 7342
Available at 1 libraries
Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.)
Springer c2010 Lecture notes in computer science 6120
Philippe Audebaud, Christine Paulin-Mohring (eds.)
Springer c2008 Lecture notes in computer science 5133
Tarmo Uustalu (ed.)
Springer c2006 Lecture notes in computer science 4014
Available at 10 libraries
Dexter Kozen (ed.)
Springer c2004 Lecture notes in computer science 3125
Available at 20 libraries
Eerke A. Boiten, Bernhard Möller (eds.)
Springer c2002 Lecture notes in computer science 2386
Available at 27 libraries
Roland Backhouse, José Nuno Oliveira (eds.)
Springer c2000 Lecture notes in computer science 1837
Available at 37 libraries
Johan Jeuring (ed.)
Springer c1998 Lecture notes in computer science 1422
Available at 41 libraries
Bernhard Möller, (ed.)
Springer c1995 Lecture notes in computer science 947
Available at 55 libraries
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
Springer-Verlag c1993 Lecture notes in computer science 669
: gw , : us
Available at 62 libraries