Philippe Darondeau, Serge Yoccoz

Public reference bibliography and cataloged PDF materials authored or published by Philippe Darondeau, Serge Yoccoz.

Found 1 document(s) Page 1 of 1

Proof systems for infinite behaviours

Year: 1987 • Source: hal.science • Listed PDF

Disponible dans les fichiers attachés à ce document...