|
" Logic of Computation "
edited by Helmut Schwichtenberg.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
736554
|
| Doc. No
|
:
|
b556419
|
| Main Entry
|
:
|
edited by Helmut Schwichtenberg.
|
| Title & Author
|
:
|
Logic of Computation\ edited by Helmut Schwichtenberg.
|
| Publication Statement
|
:
|
Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint : Springer, 1997
|
| Series Statement
|
:
|
NATO ASI series., Series F,, Computer and systems sciences ;, 157.
|
| Page. NO
|
:
|
(VII, 394 pages)
|
| ISBN
|
:
|
3642590489
|
|
|
:
|
: 3642638325
|
|
|
:
|
: 9783642590481
|
|
|
:
|
: 9783642638329
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
Proceedings of the NATO Advanced Study Institute on Logic of Computation,held in Marktoberdorf,Germany,July 25-Aug.6,1995
|
| Subject
|
:
|
Computer science -- Congresses.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic, Symbolic and mathematical -- Congresses.
|
| Added Entry
|
:
|
Helmut Schwichtenberg
|
| Parallel Title
|
:
|
Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-Aug. 6,1995
|
| |