Cantitate/Preț
Produs

Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers: Lecture Notes in Computer Science, cartea 1956

Editat de Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
en Limba Engleză Paperback – 13 dec 2000

Din seria Lecture Notes in Computer Science

Preț: 33588 lei

Preț vechi: 41985 lei
-20% Nou

Puncte Express: 504

Preț estimativ în valută:
6429 6625$ 5427£

Carte tipărită la comandă

Livrare economică 04-18 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540415176
ISBN-10: 3540415173
Pagini: 208
Ilustrații: X, 202 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.51 kg
Ediția:2000
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Specification and Verification of a Formal System for Structurally Recursive Functions.- A Predicative Strong Normalisation Proof for a ?Calculus with Interleaving Inductive Types.- Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and ?-Rule.- Computer-Assisted Mathematics at Work.- Specification of a Smart Card Operating System.- Implementation Techniques for Inductive Types in Plastic.- A Co-inductive Approach to Real Numbers.- Information Retrieval in a Coq Proof Library Using Type Isomorphisms.- Memory Management: An Abstract Formulation of Incremental Tracing.- The Three Gap Theorem (Steinhaus Conjecture).- Formalising Formulas-as-Types-as-Objects.

Caracteristici

Includes supplementary material: sn.pub/extras