Automata logic and infinite games : a guide to current research

Sparad:
Bibliografiska uppgifter
Huvudupphov: Gradel, Erich
Övriga upphov: Thomas, Wolfgang/Wilke, Thomas eds
Språk:engelska
Utgiven: Berlin Springer 2002
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!