Jean-Pierre Jouannaud
Jean-Pierre Jouannaud
4 books in the database
Books
Conditional Term Rewriting SystemsJean-Pierre Jouannaud
Conditional Term Rewriting Systems
Jean-Pierre Jouannaud · 2007
Functional Programming Languages and Computer ArchitectureJean-Pierre Jouannaud
Functional Programming Languages and Computer Architecture
Jean-Pierre Jouannaud · 1986
Rewriting Techniques and ApplicationsJean-Pierre Jouannaud
Rewriting Techniques and Applications
Jean-Pierre Jouannaud · 1985
Certified Programs and ProofsJean-Pierre Jouannaud
Certified Programs and Proofs
Jean-Pierre Jouannaud · 2011
Co-authored books and collections
Books that list Jean-Pierre Jouannaud among their authors but not as the lead author: co-written works, collections and compilations.
