Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-6 of 6)
Jouannaud, Jean-Pierre
1 2006 Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday Rating: Electronic Resources More...
2 2011 Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings CPP (Conference) (1st : 2011 : Kenting, Taiwan) Rating: Electronic Resources More...
3 1988 Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings Rating: Electronic Resources
4 1985 Functional programming languages and computer architecture : Nancy, France, September 1985 Rating: Electronic Resources
5 1985 Rewriting techniques and applications : Dijon, France, May 20-22, 1985 Berlin ; New York : Springer-Verlag, ©1985 Rating: Electronic Resources
6 1993 TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings International Joint Conference on Theory and Practice of Software Development (4th : 1993 : Orsay, France) Berlin ; New York : Springer-Verlag, ©1993 Rating: Electronic Resources
Add Marked to Bag Add All On Page Locate in results

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday