Jean-Pierre Ressayre

According to our database, Jean-Pierre Ressayre authored at least 13 papers between 1988 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

The wadge hierarchy of Petri Nets ω-languages.

Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre

Proceedings of the Logic, Computation, Hierarchies, 2014

2013

The Wadge Hierarchy of Petri Nets <i>ω</i>-Languages.

Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2010

Bootstrapping, part I.

Sedki Boughattas, Jean-Pierre Ressayre

Ann. Pure Appl. Log., 2010

2008

Arithmetization of the field of reals with exponentiation extended abstract.

Sedki Boughattas, Jean-Pierre Ressayre

RAIRO Theor. Informatics Appl., 2008

On Infinite Real Trace Rational Languages of Maximum Topological Complexity

Olivier Finkel, Jean-Pierre Ressayre, Pierre Simonnet

CoRR, 2008

2004

Winning strategies for infinite games: from large cardinals to computer science extended abstract.

Jean-Pierre Ressayre

Theor. Comput. Sci., 2004

2001

Weak Arithmetics.

Jean-Pierre Ressayre

Theor. Comput. Sci., 2001

Computer science and the fine structure of Borel sets.

Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre

Theor. Comput. Sci., 2001

1996

Stretchings.

Olivier Finkel, Jean-Pierre Ressayre

J. Symb. Log., 1996

Polynomial Time Uniformization and Non-standard Methods.

Jean-Pierre Ressayre

Ann. Math. Artif. Intell., 1996

1993

Every Real Closed Field Has an Integer Part.

M. H. Mourgues, Jean-Pierre Ressayre

J. Symb. Log., 1993

1989

<i>Π</i>₂¹-Logic and uniformization in the analytical hierarchy.

Jean-Pierre Ressayre

Arch. Math. Log., 1989

1988

Formal Languages Defined by the Underlying Structure of their Words.

Jean-Pierre Ressayre

J. Symb. Log., 1988