Vor Ort
Merkzettel Warenkorb
  • Produktbild: Subrecursive Programming Systems
  • Produktbild: Subrecursive Programming Systems
- 12%

Subrecursive Programming Systems Complexity & Succinctness

Aus der Reihe Progress in Theoretical Computer Science
12% sparen

93,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

01.08.1994

Abbildungen

VIII, 253 p.

Verlag

Birkhäuser Boston

Seitenzahl

253

Maße (L/B/H)

24,1/16/2 cm

Gewicht

563 g

Auflage

1994

Sprache

Englisch

ISBN

978-0-8176-3767-5

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

01.08.1994

Abbildungen

VIII, 253 p.

Verlag

Birkhäuser Boston

Seitenzahl

253

Maße (L/B/H)

24,1/16/2 cm

Gewicht

563 g

Auflage

1994

Sprache

Englisch

ISBN

978-0-8176-3767-5

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

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: Subrecursive Programming Systems
  • Produktbild: Subrecursive Programming Systems
  • 1 Introduction.- 1.1 What This Book is About.- 1.2 Outline of Part I. A Subrecursion Programming Systems Toolkit.- 1.3 Outline of Part II. Program Succinctness.- 1.4 Brief History of Prior Results.- 1.5 How to Use This Book.- 1.6 Acknowledgments.- I A Subrecursion Programming Systems Toolkit.- 2 Basic Notation and Definitions.- 3 Deterministic Multi-tape Turing Machines.- 4 Programming Systems.- 5 The LOOP Hierarchy.- 6 The Poly-Degree Hierarchy.- 7 Delayed Enumeration and Limiting Recursion.- 8 Inseparability Notions.- 9 Toolkit Demonstrations.- II Program Succinctness.- 10 Notions of Succinctness.- 11 Limiting-Recursive Succinctness Progressions.- 12 Succinctness for Finite and Infinite Variants.- 13 Succinctness for Singleton Sets.- 14 Further Problems.- Appendix A Exercises.- Appendix B Solutions for Selected Exercises.- Notation Index.