Searching for authors named "Pierre Courtieu" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Proving Self-Stabilization With A Proof Assistant
by Pierre Courtieu — 2001
… Orsay cedex, France email: courtieu@(email omitted); Pierre Courtieu Øof the simply typed�-calculus is of type…
Add To MetaCart

Certification of automated termination proofs
by Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain — 2007 — In Proc. 6th FroCoS
…Certification of automated termination proofs ⋆ Evelyne Contejean 1 , Pierre Courtieu 2 , Julien…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB