Termination orders for 3-polygraphs
Résumé
This note presents the first known class of termination orders for 3-polygraphs, together with an application.
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Yves Guiraud : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00092196
Soumis le : vendredi 8 septembre 2006-16:15:55
Dernière modification le : jeudi 14 mars 2024-03:08:22
Archivage à long terme le : jeudi 20 septembre 2012-10:21:57