Search Results for "computation-and-reasoning-a-type-theory-for-computer-science-international-series-of-monographs-on-computer-science"

Computation and Reasoning

Computation and Reasoning

A Type Theory for Computer Science

  • Author: Zhaohui Luo
  • Publisher: Oxford University Press on Demand
  • ISBN: N.A
  • Category: Computers
  • Page: 228
  • View: 1798
DOWNLOAD NOW »
This book develops a new type theory and shows how it can be applied to computer science, in particular to the effective development of programs and proofs.

Computer Science Logic

Computer Science Logic

9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

  • Author: Hans Kleine Buening,Germany) Workshop on Computer Science Logic 1995 (Paderborn
  • Publisher: Springer Science & Business Media
  • ISBN: 9783540613770
  • Category: Computers
  • Page: 485
  • View: 7316
DOWNLOAD NOW »
The volume contains papers presented at the final conference of the DFG Research Program in Boundary Element Methods. The contributions deal with and offer solutions for problems arising in the application of BEM to engineering tasks.

Types for Proofs and Programs

Types for Proofs and Programs

International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

  • Author: Peter Dybjer,Bengt Nordström,Jan Smith
  • Publisher: Springer Science & Business Media
  • ISBN: 9783540605799
  • Category: Computers
  • Page: 210
  • View: 4099
DOWNLOAD NOW »
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994. The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.

Logic Colloquium 2006

Logic Colloquium 2006

  • Author: S. Barry Cooper
  • Publisher: Cambridge University Press
  • ISBN: 0521110815
  • Category: Mathematics
  • Page: 373
  • View: 3577
DOWNLOAD NOW »
The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium.

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

  • Author: Martin Hofmann
  • Publisher: Springer Science & Business Media
  • ISBN: 3540403329
  • Category: Mathematics
  • Page: 320
  • View: 3712
DOWNLOAD NOW »
The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Proceedings

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Automatic theorem proving
  • Page: N.A
  • View: 2347
DOWNLOAD NOW »

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

International Conference on Typed Lambda Calculi and Applications, TLCA : Proceedings

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Lambda calculus
  • Page: N.A
  • View: 3601
DOWNLOAD NOW »

ACM Transactions on Computational Logic

ACM Transactions on Computational Logic

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Computer logic
  • Page: N.A
  • View: 6349
DOWNLOAD NOW »

Source Code Analysis and Manipulation

Source Code Analysis and Manipulation

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Source code (Computer science)
  • Page: N.A
  • View: 1902
DOWNLOAD NOW »

The Cumulative Book Index

The Cumulative Book Index

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: American literature
  • Page: N.A
  • View: 7981
DOWNLOAD NOW »

Subject Guide to Books in Print

Subject Guide to Books in Print

An Index to the Publishers' Trade List Annual

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: American literature
  • Page: N.A
  • View: 5643
DOWNLOAD NOW »

Books in Print

Books in Print

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: American literature
  • Page: N.A
  • View: 2684
DOWNLOAD NOW »

Science in China

Science in China

Technological sciences

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Technological sciences
  • Page: N.A
  • View: 7516
DOWNLOAD NOW »

Proceedings of the ... International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Proceedings of the ... International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

PPDP.

  • Author: N.A
  • Publisher: N.A
  • ISBN: 9781581137057
  • Category: Declarative programming
  • Page: 284
  • View: 3155
DOWNLOAD NOW »

SCAM 2002

SCAM 2002

Second IEEE International Workshop on Source Code Analysis and Manipulation : proceedings : 1 October, 2002, Montreal, Canada

  • Author: N.A
  • Publisher: IEEE
  • ISBN: N.A
  • Category: Computers
  • Page: 183
  • View: 6475
DOWNLOAD NOW »

Automated Deduction - Cade-13

Automated Deduction - Cade-13

13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

  • Author: Michael A. McRobbie,J.K. Slaney
  • Publisher: Springer
  • ISBN: N.A
  • Category: Computers
  • Page: 764
  • View: 4854
DOWNLOAD NOW »
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.

Principles and Practice of Declarative Programming

Principles and Practice of Declarative Programming

International Conference PPDP ... Proceedings

  • Author: N.A
  • Publisher: N.A
  • ISBN: 9781581137057
  • Category: Declarative programming
  • Page: 284
  • View: 2100
DOWNLOAD NOW »

Proceedings of the Symposium on Software Reusability

Proceedings of the Symposium on Software Reusability

  • Author: Mansur H. Samadzadeh,Mansour K. Zand
  • Publisher: N.A
  • ISBN: N.A
  • Category: Computer software
  • Page: 272
  • View: 5417
DOWNLOAD NOW »

Types for Proofs and Programs

Types for Proofs and Programs

International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

  • Author: Stefano Berardi,Mario Coppo
  • Publisher: Springer
  • ISBN: N.A
  • Category: Automatic theorem proving
  • Page: 296
  • View: 8167
DOWNLOAD NOW »
This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995. Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.

Mathematical Reviews

Mathematical Reviews

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Mathematics
  • Page: N.A
  • View: 3914
DOWNLOAD NOW »