Computer science logic: 5th workshop, csl '91, berne, switzerland, october 7-11, 1991. proceedings: 5th workshop: csl '91, berne, switzerland, october 7-11, 1991 - proceedings
Auteur :
Borger, Egon
ISBN :
9783540557890
Date de publication :
10 sept. 1992
Dimensions :
23,3 x 15,5 x 2,2 cm
Poids :
1370 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The results of a workshop, this volume contains a series of essays on a variety of logical topics in computer science, including abstract data types, bounded theories, complexity results, denotational semantics, cut elimination, minimal proofs, Petri nets, plausibility logic and much more.