The theory of total unary RPO is decidable
Résumé
Nous prouvons que la théorie du premier ordre du rpo est décidable dans le cas unaire et total.
Communication Dans Un Congrès
Année : 2000
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00099166
Soumis le : mardi 26 septembre 2006-08:51:29
Dernière modification le : jeudi 15 février 2024-03:32:37
Dates et versions
Identifiants
- HAL Id : inria-00099166 , version 1
Citer
Paliath Narendran, Michaël Rusinowitch. The theory of total unary RPO is decidable. First International Conference on Computational Logic - Cl'2000, 2000, Londres, UK, pp.660-672. ⟨inria-00099166⟩
Collections
52
Consultations
0
Téléchargements