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