Pierre Courtieu (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Pierre Courtieu, Julien Forest, Xavier Urbain: Certifying a Termination Criterion Based on Graphs, without Graphs. TPHOLs 2008: 183-198

6 Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain: Certification of Automated Termination Proofs. FroCos 2007: 148-162

Selection of 2 from 8 records - Pierre Courtieu has 8 coauthors

7		Pierre Courtieu, Julien Forest, Xavier Urbain: Certifying a Termination Criterion Based on Graphs, without Graphs. TPHOLs 2008: 183-198
6		Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain: Certification of Automated Termination Proofs. FroCos 2007: 148-162