François Leclerc

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1995

2 François Leclerc: Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq. TLCA 1995: 312-327

1993

1 François Leclerc, Christine Paulin-Mohring: Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. TYPES 1993: 191-212

	1995
2		François Leclerc: Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq. TLCA 1995: 312-327
	1993
1		François Leclerc, Christine Paulin-Mohring: Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. TYPES 1993: 191-212

Coauthor Index

1 Christine Paulin-Mohring [1]