Basket: 0 items £0.00
Submit an Enquiry or Call Us +44 (0) 1482 384660
Image for Logic, Algebra and Computation : International Summer School Proceedings

Logic, Algebra and Computation : International Summer School Proceedings

By: Bauer, F. L.(Edited by)

Part of the NATO Advanced Study Institutes S. series
3540543155 / 9783540543152
Usually dispatched within 4 weeks
138 x 216 mm, 970 grams 492 pages, 15figs.
Professional & Vocational  Learn More Postgraduate, Research & Scholarly

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.


UYA Mathematical theory of computation

Our price£109.99
Save up to 15%*
* Variable discounts between 0% and 15% are applied to items where BBfS cannot determine exact discounts from suppliers.