Logic, Algebra, and Computation
International Summer School
by Friedrich L. Bauer
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.
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Logic programming, Algebra, Computational complexityShowing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Logic, Algebra, and Computation: International Summer School
2012, Springer London, Limited
in English
3642768016 9783642768019
|
zzzz
Libraries near you:
WorldCat
|
2
Logic, Algebra, and Computation: International Summer School
1991, Springer Berlin Heidelberg
electronic resource :
in English
3642767990 9783642767999
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| October 6, 2021 | Edited by ImportBot | import existing book |
| July 5, 2019 | Created by MARC Bot | import new book |