Computer science logic: 15th international workshop, csl 2001 - 10th annual conference of the eacsl, paris, france, september 10-13, 2001 proceedings
Auteur :
Fribourg, Laurent
ISBN :
9783540425540
Date de publication :
29 août 2001
Dimensions :
23,3 x 15,5 x 3,2 cm
Poids :
873 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The papers in this volume are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.