Automata logics 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: Barlin Springer 2002
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!