Serge Yoccoz

Publication Activity (10 Years)

Years Active: 1989-1992
Publications (10 Years): 0

Publications

Philippe Darondeau, Doris Nolte, Lutz Priese, Serge Yoccoz
Fairness, Distances and Degrees. Theor. Comput. Sci. 97 (1) (1992)
Philippe Darondeau, Serge Yoccoz
Proof Systems for Infinite Behaviours Inf. Comput. 99 (2) (1992)
Serge Yoccoz
Effective Solutions to Domain Equations - An Approach to Effective Denotational Semantics. CONCUR (1990)
Serge Yoccoz
Recursive (omega)o-Rule for Proof Systems. Inf. Process. Lett. 31 (6) (1989)
Serge Yoccoz
Constructive Aspects of the Omega-Rule: Application to Proof Systems in Computer Science and Algorithmic Logic. MFCS (1989)