Automata logic and infinite games : a guide to current research

Enregistré dans:
Détails bibliographiques
Auteur principal: Gradel, Erich
Autres auteurs: Thomas, Wolfgang/Wilke, Thomas eds
Langue:anglais
Publié: Berlin Springer 2002
Sujets:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!