PDF) A recursive path ordering for higher-order terms in η-long β-normal form
Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract)
Composition-based Graph Rewriting | GReTA - Graph Transformation Theory and Applications
HORPO with Computability Closure : A Reconstruction
Extension orderings revisited*
PDF) Diagrammatic Confluence and Completion
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
Confluence of Drag Rewriting
PDF) Church-Rosser Properties of Weakly Terminating Term Rewriting Systems.
Lecture Notes in Computer Science: Rewriting Techniques and Applications by Jean-Pierre Jouannaud (1985, Hardcover) for sale online | eBay
Twenty years later*
Pierre Jouannaud - DRH - SAP | LinkedIn
![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,
Jean-Pierre JOUANNAUD | Professor Emeritus | PhD | École Polytechnique, Palaiseau | Laboratoire d' Informatique (LIX) | Research profile
Modular Church-Rosser Modulo
Pierre Jouannaud - DRH - SAP | LinkedIn
A Normal Higher-Order Termination Rewrite rules are used in logical systems to describe computations over lambda- terms used as
LIAMA主任Jean-Pierre Jouannaud教授一行来访我院
博客來-Rewriting Computation And Proof: Essays Dedicated to Jean-pierre Jouannaud on the Occasion of His 60th Birthday
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
法国国立信息与自动化研究院Jouannaud教授在深圳先进院作学术报告----中国科学院深圳先进技术研究院
法国国立信息与自动化研究院Jouannaud教授在深圳先进院作学术报告----中国科学院深圳先进技术研究院
arXiv:1506.03943v1 [cs.LO] 12 Jun 2015
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer Science, 7086): Jouannaud, Jean-Pierre, Shao, Zhong: 9783642253782: Amazon.com: Books
Untyped Confluence in Dependent Type Theories
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings: 7086 : Jouannaud, Jean- Pierre, Shao, Zhong: Amazon.sg: Books
