Serre, Olivier
Olivier Serre Ph.D. Université Paris Diderot - Paris 7 2004
VIAF ID: 203978901 ( Personal )
Permalink: http://viaf.org/viaf/203978901
Preferred Forms
- 100 0 _ ‡a Olivier Serre ‡c Ph.D. Université Paris Diderot - Paris 7 2004
-
- 100 1 _ ‡a Serre, Olivier
- 100 1 _ ‡a Serre, Olivier
Works
Title | Sources |
---|---|
LES AFFECTIONS RENALES DES BOVINS | |
Contribution à l'étude des jeux sur des graphes de processus à pile | |
Contribution to the theory of tile languages. | |
Contributions to arithmetic complexity and compression | |
décodeuses du numérique | |
Du problème de sous mot de Post et de la complexité des canaux non fiables. | |
Graphes monotones pour jeux de parité et à paiement moyen. | |
Langages ε-sûrs et caractérisations des langages d'ordres supérieurs | |
Mealy machines, (semi-)automaton groups, decision problems and random generation. | |
Monotonic graphs for parity and mean-payoff games | |
Multi-agent games properties. | |
On Post's embedding problem and the complexity of lossy channels | |
Propriétés de jeux multi-agents | |
Pushdown games. | |
Semantics of linear logic and higher-order model-checking | |
Sémantique de la logique linéaire et model-checking d'ordre supérieur. | |
Stratégies randomisées dans les jeux concurrents | |
Théorie des jeux en informatique | |
Transformations de schémas de récursion d'ordre supérieur respectant la structure. | |
Е-safe languages and characterizations of higher order languages. |