Publié le : 1997-05-14
Classification:
Théorie monadique du second ordre,
monoïde inversif libre,
graphes de Cayley,
décidabilité,
03D35,
03D05,
20M05,
68Q80
@article{1105730623,
author = {Calbrix, Hugues},
title = {La th\'eorie monadique du second ordre du mono\"\i de inversif libre est ind\'ecidable},
journal = {Bull. Belg. Math. Soc. Simon Stevin},
volume = {4},
number = {1},
year = {1997},
pages = { 53-65},
language = {fr},
url = {http://dml.mathdoc.fr/item/1105730623}
}
Calbrix, Hugues. La théorie monadique du second ordre du monoïde inversif libre est indécidable. Bull. Belg. Math. Soc. Simon Stevin, Tome 4 (1997) no. 1, pp. 53-65. http://gdmltest.u-ga.fr/item/1105730623/