HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Jean-Pierre Jouannaud

Publications
Graph Path Orderings
Nachum Dershowitz and Jean-Pierre Jouannaud
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Coq without Type Casts: A Complete Proof of Coq Modulo Theory
Jean-Pierre Jouannaud and Pierre-Yves Strub
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

Coq, Cyclic Graphs, first-order theory, graph rewriting, Multigraphs, path orderings, proof assistant, rewrite orderings, soundness, termination, type theory.

Copyright © 2012-2025 easychair.org. All rights reserved.