Author:Jean-Pierre Jouannaud
KeyphrasesCoq, Cyclic Graphs, first-order theory, graph rewriting, Multigraphs, path orderings, proof assistant, rewrite orderings, soundness, termination, type theory. |
| ||||
| ||||
| Copyright © 2012-2024 easychair.org. All rights reserved. |