Julien Forest
According to our database1,
Julien Forest
authored at least 9 papers
between 2002 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
0
1
2
3
1
2
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011
2010
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010
2008
Proceedings of the Proceeding of the 13th International Conference on 3D Web Technology, 2008
Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008
2007
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007
2006
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006
2002
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002