Serge Yoccoz

According to our database, Serge Yoccoz authored at least 5 papers between 1989 and 1992.

Collaborative distances:

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

1992

Proof Systems for Infinite Behaviours

Philippe Darondeau, Serge Yoccoz

Inf. Comput., August, 1992

Fairness, Distances and Degrees.

Philippe Darondeau, Doris Nolte, Lutz Priese, Serge Yoccoz

Theor. Comput. Sci., 1992

1990

Effective Solutions to Domain Equations - An Approach to Effective Denotational Semantics.

Serge Yoccoz

Proceedings of the CONCUR '90, 1990

1989

Recursive (omega)o-Rule for Proof Systems.

Serge Yoccoz

Inf. Process. Lett., 1989

Constructive Aspects of the Omega-Rule: Application to Proof Systems in Computer Science and Algorithmic Logic.

Serge Yoccoz

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989