Types for Proofs and Programs
Subtitle: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
By: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro
Contributors: Vardi, Moshe Y.; de’Liguoro, Ugo; Damiani, Ferruccio; Weikum, Gerhard; Tygar, Doug; Terzopoulos, Demetri; Sudan, Madhu; Pandu Rangan, C.; Nierstrasz, Oscar; Naor, Moni; Mitchell, John C.; Mattern, Friedemann; Kleinberg, Jon M.; Kittler, Josef; Kanade, Takeo; Steffen, Bernhard; Berardi, Stefano; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5497
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642024436; 9783642024443
Subjects: Logic design; Artificial intelligence; Computer science; Data processing; Algebra