Equipes atuais : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Time anterior : | ACASA |
- G. Dowek, Th. Hardin, C. Kirchner : “Theorem Proving modulo”, Journal of Automated Reasoning, vol. 31 (1), pp. 33-72, (Springer Verlag) [Dowek 2003]
- Ch. Queinnec : “Inverting back the inversion of control or, continuations versus page-centric programming”, ACM SIGPLAN Notices, vol. 38 (2), pp. 57-64, (Association for Computing Machinery (ACM)) [Queinnec 2003]