Computer science logic: 6th workshop, csl'92, san miniato, italy, september 28 - october 2, 1992, selected papers: 6th workshop: csl '92, san miniato, italy, september 28-october 2, 1992 - selected papers
Auteur :
Borger, Egon
ISBN :
9783540569923
Date de publication :
11 août 1993
Dimensions :
23,3 x 15,5 x 2,3 cm
Poids :
640 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The proceedings of a computer science logic workshop, this volume covers such topics as Turing machines, the logic of proofs, linear logic, optimization problems, the semantics of C, classes for a functional language, sconing and relators, NP-completeness and fixpoint logic.