Merkzettel Warenkorb
  • Produktbild: Proof Theory in Computer Science
  • Produktbild: Proof Theory in Computer Science
Band 2183

Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.09.2001

Abbildungen

X, 246 p.

Herausgeber

Reinhard Kahle + weitere

Verlag

Springer Berlin

Seitenzahl

246

Maße (L/B/H)

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

Gewicht

394 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42752-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.09.2001

Abbildungen

X, 246 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

246

Maße (L/B/H)

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

Gewicht

394 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42752-0

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: Proof Theory in Computer Science
  • Produktbild: Proof Theory in Computer Science
  • Linear Ramified Higher Type Recursion and Parallel Complexity.- Reflective ?-Calculus.- A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity.- Comparing the Complexity of Cut-Elimination Methods.- Program Extraction from Gentzen’s Proof of Transfinite Induction up to ?0.- Coherent Bicartesian and Sesquicartesian Categories.- Indexed Induction-Recursion.- Modeling Meta-logical Features in a Calculus with Frozen Variables.- Proof Theory and Post-turing Analysis.- Interpolation for Natural Deduction with Generalized Eliminations.- Implicit Characterizations of Pspace.- Iterate logic.- Constructive Foundations for Featherweight Java.