Automata logic and infinite games : a guide to current research

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Gradel, Erich
Andere auteurs: Thomas, Wolfgang/Wilke, Thomas eds
Taal:Engels
Gepubliceerd in: Berlin Springer 2002
Onderwerpen:
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!