Accéder directement au contenu

Olivier Serre

1
Documents
Identifiants chercheurs

Présentation

Publications

igor-walukiewicz
Image document

Pushdown games with unboundedness and regular conditions

 Alexis-Julien Bouquet , Olivier Serre , Igor Walukiewicz
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, 2003, Mumbai, India. pp.88-99
Communication dans un congrès hal-00012141v1