Hugues Calbrix

Learn More
Nous résolvons dans cet article la question de la décidabilité de la théorie monadique du second ordre du monöıde inversif libre. Nous définissons à cette fin la notion de théorie monadique du second ordre d’un monöıde donné et la contrepartie combinatoire de cette notion, les ensembles reconnaissables de mots généralisés sur un monöıde donné. Nous(More)
  • 1