The second-order monadic theory of the free inverse monoid is undecidable. (La théorie monadique du second ordre du monoïde inversif libre est indécidable.)
Bulletin of the Belgian Mathematical Society - Simon Stevin (1997)
- Volume: 4, Issue: 1, page 53-65
- ISSN: 1370-1444
Access Full Article
top
How to cite
topCalbrix, Hugues. "The second-order monadic theory of the free inverse monoid is undecidable. (La théorie monadique du second ordre du monoïde inversif libre est indécidable.)." Bulletin of the Belgian Mathematical Society - Simon Stevin 4.1 (1997): 53-65. <http://eudml.org/doc/119754>.
@article{Calbrix1997,
author = {Calbrix, Hugues},
journal = {Bulletin of the Belgian Mathematical Society - Simon Stevin},
keywords = {Cayley graph; decidability; monadic second-order theory; free inverse monoid; recognizable sets; generalized words; Wang tiling systems},
language = {eng},
number = {1},
pages = {53-65},
publisher = {Société Mathématique de Belgique - Belgisch Wiskundig Genootschap},
title = {The second-order monadic theory of the free inverse monoid is undecidable. (La théorie monadique du second ordre du monoïde inversif libre est indécidable.)},
url = {http://eudml.org/doc/119754},
volume = {4},
year = {1997},
}
TY - JOUR
AU - Calbrix, Hugues
TI - The second-order monadic theory of the free inverse monoid is undecidable. (La théorie monadique du second ordre du monoïde inversif libre est indécidable.)
JO - Bulletin of the Belgian Mathematical Society - Simon Stevin
PY - 1997
PB - Société Mathématique de Belgique - Belgisch Wiskundig Genootschap
VL - 4
IS - 1
SP - 53
EP - 65
LA - eng
KW - Cayley graph; decidability; monadic second-order theory; free inverse monoid; recognizable sets; generalized words; Wang tiling systems
UR - http://eudml.org/doc/119754
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.