Vor Ort
Merkzettel Warenkorb
  • Produktbild: Types for Proofs and Programs
  • Produktbild: Types for Proofs and Programs
Band 1158

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.06.2009

Abbildungen

VIII, 323 p.

Herausgeber

Stefano Berardi + weitere

Verlag

Springer Berlin

Seitenzahl

323

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

505 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02443-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.06.2009

Abbildungen

VIII, 323 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

323

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

505 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02443-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Types for Proofs and Programs
  • Produktbild: Types for Proofs and Programs
  • Type Inference by Coinductive Logic Programming.- About the Formalization of Some Results by Chebyshev in Number Theory.- A New Elimination Rule for the Calculus of Inductive Constructions.- A Framework for the Analysis of Access Control Models for Interactive Mobile Devices.- Proving Infinitary Normalization.- First-Class Object Sets.- Monadic Translation of Intuitionistic Sequent Calculus.- Towards a Type Discipline for Answer Set Programming.- Type Inference for a Polynomial Lambda Calculus.- Local Theory Specifications in Isabelle/Isar.- Axiom Directed Focusing.- A Type System for Usage of Software Components.- Merging Procedural and Declarative Proof.- Using Structural Recursion for Corecursion.- Manifest Fields and Module Mechanisms in Intensional Type Theory.- A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq.- Coalgebraic Reasoning in Coq: Bisimulation and the ?-Coiteration Scheme.- A Process-Model for Linear Programs.- Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets.