- 2
- 2
olivier pons
4
Documents
Identifiants chercheurs
- olivier-pons
- 0000-0001-6423-8630
- IdRef : 183634497
Présentation
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 4
- 4
- 2
- 2
- 1
Automated Certified Proofs with CiME3RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia
Communication dans un congrès
hal-00777669v1
|
|
|
A3PAT, an Approach for Certified Automated Termination Proofs2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ACM, Jan 2010, Madrid, Spain. pp.63-72, ⟨10.1145/1706356.1706370⟩
Communication dans un congrès
inria-00535655v1
|
Certification of automated termination proofs6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, Jan 2007, X, France. pp.148-162
Communication dans un congrès
hal-01125312v1
|
Certification of automated termination proofs[Research Report] CEDRIC-07-1185, CEDRIC Lab/CNAM. 2007
Rapport
hal-01125298v1
|