01328nam--2200421---450-99000188937020331620040730105912.03-540-00388-6000188937USA01000188937(ALEPH)000188937USA0100018893720040730d2002----km-y0itay0103----baengDEa|||||||001yyAutomata logics and infinite gamesa guide to current researchErich Grädel, Wolfgang Thomas, Thomas Wilke (Eds.)Berlin [etc.]Springercopyr. 2002VIII, 385 p.ill.24 cm.Lecture notes in computer science25002001Lecture notes in computer science25002001001-------2001Scienza del computer004.0151GRÄDEL,ErichTHOMAS,WolfgangWILKE,ThomasITsalbcISBD990001889370203316001 LNCS 25000029425/CBS00100113990001 LNCS 2500 (A)0028660/CBS00100113399BKSCIRIVELLI9020040730USA011048RIVELLI9020040730USA011059Automata logics and infinite games953858UNISA