Logic, Algebra and Computation: International Summer School Proceedings - Couverture rigide

 
9783540543152: Logic, Algebra and Computation: International Summer School Proceedings
Couverture rigide
ISBN 10 : 3540543155 ISBN 13 : 9783540543152
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1991

Synopsis

The Marktoberdorf Summer Schools on Informatics were started in 1970 as Advanced Study Institutes under the sponsorship of NATO. At the schools, groups of top researchers in computing present their most recent results to an elite of advanced students and face their questions, criticism and suggestions. This volume presents the proceedings of the tenth Marktoberdorf Summer School, with the theme Logic, Algebra, and Computation. The volume has a message: applied logic is programming, programming is applied logic, and computation is a common concern of logic and mathematics. The volume contains ten papers, on computation and specification over abstract data types, deductive program synthesis, resolution, the pure lambda-calculus, normalization, logical and recursive complexity, the computation system of constructive type theory, modal logic, concurrency and concurrent logic programming languages.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

The Marktoberdorf Summer Schools on Informatics were started in 1970 as Advanced Study Institutes under the sponsorship of NATO. At the schools, groups of top researchers in computing present their most recent results to an elite of advanced students and face their questions, criticism and suggestions. This volume presents the proceedings of the tenth Marktoberdorf Summer School, with the theme Logic, Algebra, and Computation. The volume has a message: applied logic is programming, programming is applied logic, and computation is a common concern of logic and mathematics. The volume contains ten papers, on computation and specification over abstract data types, deductive program synthesis, resolution, the pure lambda-calculus, normalization, logical and recursive complexity, the computation system of constructive type theory, modal logic, concurrency, and concurrent logic programming languages.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
1991
Langue
anglais
ISBN 10 
3540543155
ISBN 13 
9783540543152
Reliure
Relié
Nombre de pages
492
Éditeur
Bauer F. L.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783642768019: Logic, Algebra, and Computation: International Summer School

Edition présentée

ISBN 10 :  3642768016 ISBN 13 :  9783642768019
Editeur : Springer, 2012
Couverture souple