RPO constraint solving is in NP
Résumé
Nous montrons que la résolution des contraintes d'ordre RPO sur les termes est dans NP
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098426
Soumis le : lundi 25 septembre 2006-17:01:16
Dernière modification le : vendredi 24 mars 2023-14:52:48