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,
Lecture Notes in Computer Science: Rewriting Techniques and Applications by Jean-Pierre Jouannaud (1985, Hardcover) for sale online | eBay
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
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course | SpringerLink