Jean-Pierre Ressayre

Publication Activity (10 Years)

Years Active: 1988-2013
Publications (10 Years): 0

Top Topics

Query Translation

Linguistic Resources

Top Venues

Publications

Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre
-Languages. LFCS (2013)
Sedki Boughattas, Jean-Pierre Ressayre
Bootstrapping, part I. Ann. Pure Appl. Log. 161 (4) (2010)
Sedki Boughattas, Jean-Pierre Ressayre
Arithmetization of the field of reals with exponentiation extended abstract. RAIRO Theor. Informatics Appl. 42 (1) (2008)
Olivier Finkel, Jean-Pierre Ressayre, Pierre Simonnet
On Infinite Real Trace Rational Languages of Maximum Topological Complexity CoRR (2008)
Jean-Pierre Ressayre
Winning strategies for infinite games: from large cardinals to computer science extended abstract. Theor. Comput. Sci. 322 (1) (2004)
Jean-Pierre Ressayre
Weak Arithmetics. Theor. Comput. Sci. 257 (1-2) (2001)
Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre
Computer science and the fine structure of Borel sets. Theor. Comput. Sci. 257 (1-2) (2001)
Olivier Finkel, Jean-Pierre Ressayre
Stretchings. J. Symb. Log. 61 (2) (1996)
Jean-Pierre Ressayre
Polynomial Time Uniformization and Non-standard Methods. Ann. Math. Artif. Intell. 16 (1996)
M. H. Mourgues, Jean-Pierre Ressayre
Every Real Closed Field Has an Integer Part. J. Symb. Log. 58 (2) (1993)
Jean-Pierre Ressayre
-Logic and uniformization in the analytical hierarchy. Arch. Math. Log. 28 (2) (1989)
Jean-Pierre Ressayre
Formal Languages Defined by the Underlying Structure of their Words. J. Symb. Log. 53 (4) (1988)