Automata, logics, and infinite games a guide to current research

Literaturverz. S. [365] - 376

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Grädel, Erich (HerausgeberIn), Thomas, Wolfgang (BerichterstatterIn, HerausgeberIn), Wilke, Thomas (BerichterstatterIn, HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2002
Schriftenreihe:	Lecture notes in computer science 2500
Schlagworte:	Computer science > Mathematics > Machine theory > Logic, Symbolic and mathematical > Game theory > Konferenzschrift > Aufsatzsammlung > Unendliches Spiel > Zweipersonenspiel > Büchi-Automat > Baumautomat > Bewachte Logik > Stufe 2 > Model Checking > My-Kalkül > Logik > Monade
Online Zugang:	Inhaltsverzeichnis Kapitel 1 Cover Inhaltstext Publisher description
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!