Author(s): Flum, Jörg; Grädel, Erich; Wilke, Thomas (eds.)
Series: Texts in logic and games 2
Publisher: Amsterdam University Press
Year: 2008
Language: English
Pages: 736
City: Amsterdam
Tags: Machine theory.;Logic, Symbolic and mathematical.;Computer science -- Mathematics.;Computational complexity.