Vor Ort
Merkzettel Warenkorb
  • Produktbild: The Collected Works of J. Richard Büchi
  • Produktbild: The Collected Works of J. Richard Büchi

The Collected Works of J. Richard Büchi

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.11.2011

Herausgeber

Saunders Mac Lane + weitere

Verlag

Springer Us

Seitenzahl

696

Maße (L/B/H)

23,5/15,5/3,9 cm

Gewicht

1066 g

Auflage

Softcover reprint of the original 1st ed. 1990

Sprache

Englisch

ISBN

978-1-4613-8930-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.11.2011

Herausgeber

Verlag

Springer Us

Seitenzahl

696

Maße (L/B/H)

23,5/15,5/3,9 cm

Gewicht

1066 g

Auflage

Softcover reprint of the original 1st ed. 1990

Sprache

Englisch

ISBN

978-1-4613-8930-9

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: The Collected Works of J. Richard Büchi
  • Produktbild: The Collected Works of J. Richard Büchi
  • 1. The Person and His Work.- J. Richard Büchi (1924–1984).- The Life of J. Richard Büchi.- The Work of J. Richard Büchi.- The Role of Büchi’s Automata in Computer Science.- J. Richard Büchi’s Doctoral Students.- Abstracts Published by J. Richard Büchi.- 2. The Publications, with Comments.- Section 1. Boolean Algebras.- [1] Die Boole’sche Partialordnung und die Paarung von Gefügen.- [2] Representation of Complete Lattices by Sets.- [3] Investigation of the Equivalence of the Axiom of Choice and Zorn’s Lemma from the Viewpoint of the Hierarchy of Types.- Section 2. Discrete Spaces.- [4] On the Existence of Totally Heterogeneous Spaces.- [19] Jordan Circuits of a Graph (with Gary Haggard).- [37] Skolem Rings and Their Varieties (with T. Michael Owens).- Section 3. Towards a Theory of Definability.- [5] The Theory of Proportionality as an Abstraction of Group Theory (with Jesse B. Wright).- [6] Invariants of the Anti-Automorphisms of a Group (with Jesse B. Wright).- [21] Model Theoretic Approaches to Definability.- [22] Definability in Normal Theories (with Kenneth J. Danhof).- [23] Variations on a Theme of Cantor in the Theory of Relational Structures.- [40] Relatively Categorical and Normal Theories.- Abstract 11. Relatively Categorical and Normal Theories.- Section 4. Automata and Grammars.- [10] Mathematische Theorie des Verhaltens endlicher Automaten.- Mathematical Theory of the Behavior of Finite Automata (English translation by Sylvia Büchi, Peter Deussen, and Dirk Siefkes).- [11] Regular Canonical Systems.- [12] Algebraic Theory of Feedback in Discrete Systems.- [17] Canonical Systems which Produce Periodic Sets (with William H. Hosken).- Section 5. Automata and Monadic Theories.- [7] Weak Second-Order Arithmetic and Finite Automata.- [8] On a Decision Method in Restricted Second Order Arithmetic.- [13] Transfinite Automata Recursions and Weak Second Order Theory of Ordinals.- [14] Decision Methods in the Theory of Ordinals.- [16] Definability in the Monadic Second-Order Theory of Successor (with Lawrence H. Landweber).- [26] The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals (with Dirk Siefkes).- [28] Deterministic Automata and the Monadic Theory of Ordinals