Jean-Pierre Ressayre

12 papers Misc 1Journal 10
YearRankTypeTitle / Venue / Authors
2014 — ch.
The wadge hierarchy of Petri Nets ω-languages.
Logic, Computation, Hierarchies
Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre
2013 Misc conf
The Wadge Hierarchy of Petri Nets
LFCS
Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre
2010 J jnl
Bootstrapping, part I.
Ann. Pure Appl. Log.
Sedki Boughattas, Jean-Pierre Ressayre
2008 J jnl
Arithmetization of the field of reals with exponentiation extended abstract.
RAIRO Theor. Informatics Appl.
Sedki Boughattas, Jean-Pierre Ressayre
2008 J jnl
On Infinite Real Trace Rational Languages of Maximum Topological Complexity
CoRR
Olivier Finkel, Jean-Pierre Ressayre, Pierre Simonnet
2004 J jnl
Winning strategies for infinite games: from large cardinals to computer science extended abstract.
Theor. Comput. Sci.
Jean-Pierre Ressayre
2001 J jnl
Computer science and the fine structure of Borel sets.
Theor. Comput. Sci.
Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre
2001 J jnl
Weak Arithmetics.
Theor. Comput. Sci.
Jean-Pierre Ressayre
1996 J jnl
Polynomial Time Uniformization and Non-standard Methods.
Ann. Math. Artif. Intell.
Jean-Pierre Ressayre
1996 J jnl
Stretchings.
J. Symb. Log.
Olivier Finkel, Jean-Pierre Ressayre
1993 J jnl
Every Real Closed Field Has an Integer Part.
J. Symb. Log.
M. H. Mourgues, Jean-Pierre Ressayre
1988 J jnl
Formal Languages Defined by the Underlying Structure of their Words.
J. Symb. Log.
Jean-Pierre Ressayre