Logic of Computation | EKB DL

Home BookLogic of Computation

Logic of Computation

Logic of Computation

Description

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.

Keywords

ComputersLogic DesignProgrammingLanguagesSoftware Development & EngineeringMathematicsLogic

1997Book

Author(s)Helmut Schwichtenberg

PublisherSpringer

ISBN9783540629634

LanguageEnglish

Similar Books

Computational Logic

Computational Logic

Proof and Computation (Nato ASI Subseries F:)

Proof and Computation (Nato ASI Subseries F:)

Proof and System-Reliability

Proof and System-Reliability

Semantics of Type Theory Correctness, Completeness, and Independence Results

Semantics of Type Theory Correctness, Completeness, and Independence Results

Logic and Algebra of Specification

Logic and Algebra of Specification

Solving Higher-Order Equations From Logic to Programming

Solving Higher-Order Equations From Logic to Programming

Logic for Concurrency and Synchronisation

Logic for Concurrency and Synchronisation

Automated Deduction in Classical and Non-Classical Logics Selected Papers

Automated Deduction in Classical and Non-Classical Logics Selected Papers

Canonical Equational Proofs

Canonical Equational Proofs

Logics for Concurrency Structure Versus Automata

Logics for Concurrency Structure Versus Automata