Zur Startseite gehen
0,00 €*
Cover: 9783540003885 | Automata, Logics, and Infinite Games | A Guide to Current Research
Dekorationsartikel gehören nicht zum Leistungsumfang.
Automata, Logics, and Infinite Games
A Guide to Current Research
Taschenbuch von Erich Grädel (u. a.)
Sprache: Englisch

78,10 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems.

For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.

The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.
A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems.

For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.

The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.
Zusammenfassung

Includes supplementary material: [...]

Inhaltsverzeichnis
?-Automata.- Infinite Games.- Determinization and Complementation.- Determinization of Büchi-Automata.- Complementation of Büchi Automata Using Alternation.- Determinization and Complementation of Streett Automata.- Parity Games.- Memoryless Determinacy of Parity Games.- Algorithms for Parity Games.- Tree Automata.- Nondeterministic Tree Automata.- Alternating Tree Automata and Parity Games.- Modal ?-Calculus.- Modal ?-Calculus and Alternating Tree Automata.- Strictness of the Modal ?-Calculus Hierarchy.- Monadic Second-Order Logic.- Decidability of S1S and S2S.- The Complexity of Translating Logic to Finite Automata.- Expressive Power of Monadic Second-Order Logic and Modal ?-Calculus.- Tree-like Models.- Prefix-Recognizable Graphs and Monadic Logic.- The Monadic Theory of Tree-like Structures.- Two-Way Tree Automata Solving Pushdown Games.- Guarded Logics.- to Guarded Logics.- Automata for Guarded Fixed Point Logics.- Appendices.- Some Fixed Point Basics.
Details
Erscheinungsjahr: 2002
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 400
Reihe: Lecture Notes in Computer Science
Inhalt: viii
392 S.
ISBN-13: 9783540003885
ISBN-10: 3540003886
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Redaktion: Grädel, Erich
Wilke, Thomas
Thomas, Wolfgang
Herausgeber: Erich Grädel/Wolfgang Thomas/Thomas Wilke
Auflage: 2002
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Lecture Notes in Computer Science
Maße: 235 x 155 x 22 mm
Von/Mit: Erich Grädel (u. a.)
Erscheinungsdatum: 13.12.2002
Gewicht: 0,604 kg
preigu-id: 102559183
Zusammenfassung

Includes supplementary material: [...]

Inhaltsverzeichnis
?-Automata.- Infinite Games.- Determinization and Complementation.- Determinization of Büchi-Automata.- Complementation of Büchi Automata Using Alternation.- Determinization and Complementation of Streett Automata.- Parity Games.- Memoryless Determinacy of Parity Games.- Algorithms for Parity Games.- Tree Automata.- Nondeterministic Tree Automata.- Alternating Tree Automata and Parity Games.- Modal ?-Calculus.- Modal ?-Calculus and Alternating Tree Automata.- Strictness of the Modal ?-Calculus Hierarchy.- Monadic Second-Order Logic.- Decidability of S1S and S2S.- The Complexity of Translating Logic to Finite Automata.- Expressive Power of Monadic Second-Order Logic and Modal ?-Calculus.- Tree-like Models.- Prefix-Recognizable Graphs and Monadic Logic.- The Monadic Theory of Tree-like Structures.- Two-Way Tree Automata Solving Pushdown Games.- Guarded Logics.- to Guarded Logics.- Automata for Guarded Fixed Point Logics.- Appendices.- Some Fixed Point Basics.
Details
Erscheinungsjahr: 2002
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 400
Reihe: Lecture Notes in Computer Science
Inhalt: viii
392 S.
ISBN-13: 9783540003885
ISBN-10: 3540003886
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Redaktion: Grädel, Erich
Wilke, Thomas
Thomas, Wolfgang
Herausgeber: Erich Grädel/Wolfgang Thomas/Thomas Wilke
Auflage: 2002
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Lecture Notes in Computer Science
Maße: 235 x 155 x 22 mm
Von/Mit: Erich Grädel (u. a.)
Erscheinungsdatum: 13.12.2002
Gewicht: 0,604 kg
preigu-id: 102559183
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9781402086748 | The Automotive Chassis 1 | Volume 1: Components Design | Genta (u. a.)
The Automotive Chassis 1
Volume 1: Components Design
EAN: 9781402086748
Sprache: Englisch
Von/Mit: Giancarlo Genta (u. a.)

67,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783319098456 | Linked Open Data -- Creating Knowledge Out of Interlinked Data | Buch
Linked Open Data -- Creating Knowledge Out of Interlinked Data
Results of the LOD2 Project
EAN: 9783319098456
Sprache: Englisch
Von/Mit: Sören Auer (u. a.)

47,40 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783540151609 | SPICE | Horst Nielinger (u. a.) | Taschenbuch | Paperback | iv | 1985
SPICE
Analyseprogramm für elektronische Schaltungen Benutzerhandbuch mit Beispielen
EAN: 9783540151609
Sprache: Deutsch
Von/Mit: Horst Nielinger (u. a.)

54,99 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783642234767 | The Universe as Automaton | From Simplicity and Symmetry to Complexity
The Universe as Automaton
From Simplicity and Symmetry to Complexity
EAN: 9783642234767
Sprache: Englisch
Von/Mit: Leon Chua (u. a.)

57,70 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781441931344 | Sphere Packings, Lattices and Groups | Neil J. A. Sloane (u. a.)
Sphere Packings, Lattices and Groups
EAN: 9781441931344
Sprache: Englisch
Von/Mit: Neil J. A. Sloane (u. a.)

57,70 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9780932146717 | Tulips to Thresholds | Swets A. John | Taschenbuch | Paperback | 2010
Tulips to Thresholds
EAN: 9780932146717
Sprache: Englisch
Von/Mit: Swets A. John

24,30 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780128229040 | Machine Learning for Biomedical Applications | Robinson (u. a.) | Buch
Machine Learning for Biomedical Applications
With Scikit-Learn and PyTorch
EAN: 9780128229040
Sprache: Englisch
Von/Mit: Emma C. Robinson (u. a.)

75,30 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783737609227 | Innovationen und künstliche Intelligenz entlang der...
Innovationen und künstliche Intelligenz entlang der energiewirtschaftlichen Wertschöpfungskette unter...
EAN: 9783737609227
Sprache: Deutsch
Von/Mit: Heinz-Adalbert Krebs (u. a.)

169,00 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783346462497 | Künstliche Intelligenz im Human Resource Management. Chancen,...
Künstliche Intelligenz im Human Resource Management. Chancen, Risiken und Herausforderungen
EAN: 9783346462497
Sprache: Deutsch
Von/Mit: Alexander Burbach

42,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783031366437 | Machine Learning in Modeling and Simulation | Methods and Applications
Machine Learning in Modeling and Simulation
Methods and Applications
EAN: 9783031366437
Sprache: Englisch
Von/Mit: Klaus-Jürgen Bathe (u. a.)

165,95 €*

Lieferzeit 2-3 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...