Jocelyne Rouyer-Degli
According to our database1,
Jocelyne Rouyer-Degli
authored at least 8 papers
between 1991 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
Comput. Graph., 2006
2005
Discret. Appl. Math., 2005
Proceedings of the Discrete Geometry for Computer Imagery, 12th International Conference, 2005
2003
Electron. Notes Discret. Math., 2003
1996
lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation.
J. Funct. Program., 1996
1995
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995
1991
Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm.
RAIRO Theor. Informatics Appl., 1991