The theory of total unary RPO is decidable
Abstract
Nous prouvons que la théorie du premier ordre du rpo est décidable dans le cas unaire et total.
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-00099166
Submitted on : Tuesday, September 26, 2006-8:51:29 AM
Last modification on : Thursday, February 15, 2024-3:32:37 AM