François Métayer
According to our database1,
François Métayer
authored at least 5 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2001
1999
Polynomial Equivalence Among Systems LLNC, LLNC<sub><i>a</i></sub> and LLNC<sub>0</sub>.
Theor. Comput. Sci., 1999
1996
Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996
1994