Monografie
Automata logics, and infinite games : a guide to current research
- Sprache
-
Englisch
- Umfang
-
VIII, 385 S.
- ISBN
-
978-3-540-00388-5
- Identifier
-
966272005
- Reihe
-
Lecture notes in computer science; Vol. 2500
Thema
Zweipersonenspiel ; Büchi-Automat ; Unendliches Spiel ; Baumautomat ; Bewachte Logik ; Model Checking ; My-Kalkül ; Logik ; Stufe 2 ; Monade ; Aufsatzsammlung
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:29 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems
Verification of reactive systems : formal methods and algorithms
System verification tools based on monadic logics
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Logic and games on automatic structures : playing with quantifiers and decompositions
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Model checking based data retrieval : an application to semistructured and temporal data
Typed lambda calculi and applications : 10th international conference ; proceedings
Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems
Verification of reactive systems : formal methods and algorithms
System verification tools based on monadic logics
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Logic and games on automatic structures : playing with quantifiers and decompositions
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Model checking based data retrieval : an application to semistructured and temporal data
Typed lambda calculi and applications : 10th international conference ; proceedings
Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems
Verification of reactive systems : formal methods and algorithms
System verification tools based on monadic logics
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Logic and games on automatic structures : playing with quantifiers and decompositions
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Model checking based data retrieval : an application to semistructured and temporal data