François Leclerc

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

Publications

François Leclerc
Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq. TLCA (1995)
François Leclerc, Christine Paulin-Mohring
Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. TYPES (1993)
Jean-Pierre Guenin, Thérèse Morin, Pierre Deffin, François Leclerc, Roger Trubert
ISDN in France - 1987 to 1990: from the first commercial offering to national coverage of NUMERIS. IEEE Commun. Mag. 29 (1) (1991)
Alain Le Roux, François Leclerc
Packet mode data communications in NUMERIS, the French ISDN. IEEE Commun. Mag. 28 (11) (1990)