|
" Computational logic "
edited by Ulrich Berger, Helmut Schwichtenberg.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
738444
|
| Doc. No
|
:
|
b558357
|
| Main Entry
|
:
|
edited by Ulrich Berger, Helmut Schwichtenberg.
|
| Title & Author
|
:
|
Computational logic\ edited by Ulrich Berger, Helmut Schwichtenberg.
|
| Publication Statement
|
:
|
Berlin ; New York: Springer, 1999
|
| Series Statement
|
:
|
NATO ASI series., Series F,, Computer and systems sciences ;, no. 165.
|
| Page. NO
|
:
|
(444 pages :) : illustrations.
|
| ISBN
|
:
|
3540645896
|
|
|
:
|
: 3642586228
|
|
|
:
|
: 9783540645894
|
|
|
:
|
: 9783642586224
|
| Notes
|
:
|
Published in cooperatiton with NATO Scientific Affairs Division.;Softcover reprint of the hardcover 1st edition 1999.
|
| Contents
|
:
|
Game Semantics.- Notes on the Simply Typed Lambda Calculus.- Problems in Type Theory.- Formal Correctness Proofs of Functional Programs: Dijkstra's Algorithm, a Case Study.- Propositional Proof Complexity - An Introduction.- Formalizing Decidability Theorems About Automata.- On the Meaning of Logical Rules I: Syntax Versus Semantics.- Complexity of Primitive Recursion.- Computers, Reasoning and Mathematical Practice.- Research Directions in Rewriting Logic.- Sequent Calculus and the Specification of Computation.
|
| Subject
|
:
|
Computer logic.
|
| LC Classification
|
:
|
QA76.9.L63E358 1999
|
| Added Entry
|
:
|
Helmut Schwichtenberg
|
|
|
:
|
North Atlantic Treaty Organization. Scientific Affairs Division.
|
|
|
:
|
Ulrich Berger
|
| |