François Leclerc

According to our database, François Leclerc authored at least 4 papers between 1990 and 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1995

Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq.

François Leclerc

Proceedings of the Typed Lambda Calculi and Applications, 1995

1993

Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes.

François Leclerc, Christine Paulin-Mohring

Proceedings of the Types for Proofs and Programs, 1993

1991

ISDN in France - 1987 to 1990: from the first commercial offering to national coverage of NUMERIS.

Jean-Pierre Guenin, Thérèse Morin, Pierre Deffin, François Leclerc, Roger Trubert

IEEE Commun. Mag., 1991

1990

Packet mode data communications in NUMERIS, the French ISDN.

Alain Le Roux, François Leclerc

IEEE Commun. Mag., 1990