Logic of Computation

Helmut Schwichtenberg

Springer, 1997 - Computers - 394 pages

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.

Bibliographic information

• Title: Logic of Computation; Volume 157 of Lecture Notes in Computer Science; Issue 157 of NATO ASI series / F: Computer and systems sciences, NATO; Issue 157 of NATO ASI series: Computer and systems sciences; NATO Advanced Science Institutes series. Series F: Computerand systems sciences, v. 157
• Editor: Helmut Schwichtenberg
• Edition: illustrated
• Publisher: Springer, 1997
• ISBN: 3540629637, 9783540629634
• Length: 394 pages
• Subjects: Computers / Languages / General; Computers / Logic Design; Computers / Programming / General; Computers / Software Development & Engineering / General; Mathematics / Logic