dblp.uni-trier.dewww.uni-trier.de

Jean-Pierre Ressayre

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEOlivier Finkel, Jean-Pierre Ressayre, Pierre Simonnet: On Infinite Real Trace Rational Languages of Maximum Topological Complexity CoRR abs/0801.0537: (2008)
2004
7EEJean-Pierre Ressayre: Winning strategies for infinite games: from large cardinals to computer science extended abstract. Theor. Comput. Sci. 322(1): 175-179 (2004)
2001
6EEJean-Pierre Ressayre: Weak Arithmetics. Theor. Comput. Sci. 257(1-2): 1-15 (2001)
5EEJacques 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)

Coauthor Index

1Jacques Duparc [5]
2Olivier Finkel [3] [5] [8]
3M. H. Mourgues [2]
4Pierre Simonnet [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)