2008 | ||
---|---|---|
8 | EE | Olivier Finkel, Jean-Pierre Ressayre, Pierre Simonnet: On Infinite Real Trace Rational Languages of Maximum Topological Complexity CoRR abs/0801.0537: (2008) |
2004 | ||
7 | EE | Jean-Pierre Ressayre: Winning strategies for infinite games: from large cardinals to computer science extended abstract. Theor. Comput. Sci. 322(1): 175-179 (2004) |
2001 | ||
6 | EE | Jean-Pierre Ressayre: Weak Arithmetics. Theor. Comput. Sci. 257(1-2): 1-15 (2001) |
5 | EE | Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre: Computer science and the fine structure of Borel sets. Theor. Comput. Sci. 257(1-2): 85-105 (2001) |
1996 | ||
4 | Jean-Pierre Ressayre: Polynomial Time Uniformization and Non-standard Methods. Ann. Math. Artif. Intell. 16: 75-88 (1996) | |
3 | Olivier Finkel, Jean-Pierre Ressayre: Stretchings. J. Symb. Log. 61(2): 563-585 (1996) | |
1993 | ||
2 | M. H. Mourgues, Jean-Pierre Ressayre: Every Real Closed Field Has an Integer Part. J. Symb. Log. 58(2): 641-647 (1993) | |
1988 | ||
1 | Jean-Pierre Ressayre: Formal Languages Defined by the Underlying Structure of their Words. J. Symb. Log. 53(4): 1009-1026 (1988) |
1 | Jacques Duparc | [5] |
2 | Olivier Finkel | [3] [5] [8] |
3 | M. H. Mourgues | [2] |
4 | Pierre Simonnet | [8] |