Extension orderings revisited*
Twenty years later*
法国国立信息与自动化研究院Jouannaud教授在深圳先进院作学术报告----中国科学院深圳先进技术研究院
Confluence of Drag Rewriting
HORPO with Computability Closure : A Reconstruction
Associative-commutative rewriting via flattening
Composition-based Graph Rewriting | GReTA - Graph Transformation Theory and Applications
LIAMA主任Jean-Pierre Jouannaud教授一行来访我院
LIAMA主任Jean-Pierre Jouannaud教授一行来访我院
Modular Church-Rosser Modulo
File:Jean Pierre Jouannaud.jpg - Wikimedia Commons
PDF) Church-Rosser Properties of Weakly Terminating Term Rewriting Systems.
Pierre Jouannaud - DRH - SAP | LinkedIn
Functional Programming Languages and Computer Architecture by Jean-Pierre Jouannaud | Waterstones
Jean-Pierre Jouannaud - Wikipedia
Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract)
PDF) Diagrammatic Confluence and Completion
Jean-Pierre Jouannaud
![Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science (4060)) by Futatsugi, Kokichi [Editor]; Jouannaud, Jean-Pierre [Series Editor]; Meseguer,](https://d3525k1ryd2155.cloudfront.net/h/303/566/1131566303.0.x.jpg "Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science (4060)) by Futatsugi, Kokichi [Editor]; Jouannaud, Jean-Pierre [Series Editor]; Meseguer,")
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science (4060)) by Futatsugi, Kokichi [Editor]; Jouannaud, Jean-Pierre [Series Editor]; Meseguer,
Lecture Notes in Computer Science: Rewriting Techniques and Applications by Jean-Pierre Jouannaud (1985, Hardcover) for sale online | eBay
法国国立信息与自动化研究院Jouannaud教授在深圳先进院作学术报告----中国科学院深圳先进技术研究院
R´ecriture d'Ordre Sup´erieur
Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings (Lecture Notes in Computer Science, 845): Jouannaud, Jean-Pierre: 9783540584032: Amazon.com: Books
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600): Comon-Lundh, Hubert, Kirchner, Claude, Kirchner, Hélène: 9783540731467: Amazon.com: Books
Amazon.com: Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600): 9783540731467: Comon-Lundh, Hubert, Kirchner, Claude, Kirchner, Hélène: Libros
