
Logic of Computation
Helmut Schwichtenberg(Editor)
Springer (Publisher)
Published on 13. October 2012
Book
Paperback/Softback
VII, 403 pages
978-3-642-63832-9 (ISBN)
Description
The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the following. The proofs-as-programs paradigm, which makes it possible to extract verified programs directly from proofs. Here a higher order logic or type theoretic setup of the underlying language has developed into a standard. Extensions of logic programming, e.g. by allowing more general formulas and/or higher order languages. Proof theoretic methods, which provide tools to deal with questions of feasibility of computations and also to develop a general mathematical understanding of complexity questions. Rewrite systems and unification, again in a higher order context. Closely related is the now well-established Grabner basis theory, which recently has found interesting applications. Category theoretic and more generally algebraic methods and techniques to analyze the semantics of programming languages. All these issues were covered by a team of leading researchers. Their courses were grouped under the following headings.
More details
Series
Edition
Softcover reprint of the original 1st ed. 1997
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VII, 403 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 23 mm
Weight
628 gr
ISBN-13
978-3-642-63832-9 (9783642638329)
DOI
10.1007/978-3-642-59048-1
Schweitzer Classification
Other editions
Additional editions


Helmut Schwichtenberg
Logic of Computation
Proceedings of the NATO Advanced Study Institute on Logic of Computation,held in Marktoberdorf,Germany,July 25-Aug.6,1995
Book
07/1997
1st Edition
Springer
€85.55
Article exhausted; check different version
Content
Lectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives.- to Gröbner Bases.- Bounded Arithmetic and Propositional Proof Complexity.- The Structure of Nuprl's Type Theory.- Axiomatisations, Proofs, and Formal Specifications of Algorithms: Commented Case Studies in the Coq Proof Assistant.- Some Proof Theory of First Order Logic Programming.- Timed Rewriting Logic for the Specification of Time-Sensitive Systems.- Logic Programming and Meta-Logic.- Proofs, Lambda Terms and Control Operators.- Basic Proof Theory with Applications to Computation.