000 00655 a2200277 4500
001 242600
020 _a3-540-00388-6
041 _aeng
080 _a681.3:517.1Aut
245 _aAutomata logics and infinite games : a guide to current research
250 _a
260 _aBerlin
260 _bSpringer
260 _c2002
300 _aviii,385 p.
300 _c23.5 cm
490 _aLecture notes in computer sience ; v. 2497
700 _a
700 _aGradel, Erich
700 _aGradel, Erich
650 _a
650 _aComputer Science
650 _aAutomata theory , Logic, Symbolic and mathematical
942 _cBK
942 _2UDC
999 _c144071
_d144071