Franklin

Automata, logics, and infinite games : a guide to current research / Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).

Publication:
Berlin ; New York : Springer, 2002.
Format/Description:
Book
viii, 385 p. : ill. ; 24 cm.
Series:
Lecture notes in computer science. Tutorial
Lecture notes in computer science, 0302-9743 ; 2500
Tutorial
Status/Location:
Loading...

Get It

Details

Subjects:
Computer science -- Mathematics.
Machine theory.
Logic, Symbolic and mathematical.
Game theory.
Notes:
Includes bibliographical references and index.
Contributor:
Grädel, Erich, 1958-
Thomas, Wolfgang, 1947-
Wilke, Thomas, 1965-
ISBN:
3540003886 (alk. paper)
OCLC:
51210587