RPO constraint solving is in NP
Abstract
Nous montrons que la résolution des contraintes d'ordre RPO sur les termes est dans NP
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00098426
Submitted on : Monday, September 25, 2006-5:01:16 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM