Authors: CALBRIX H

Citation: H. Calbrix, THE 2ND-ORDER MONADIC THEORY OF THE FREE INVERSE MONOID IS UNDECIDABLE, Bulletin of the Belgian Mathematical Society Simon Stevin, 4(1), 1997, pp. 53-65

Authors: CALBRIX H NIVAT M PODELSKI A

Citation: H. Calbrix et al., A DECISION PROCEDURE FOR THE MONADIC 2ND- ORDER LOGIC OF ONE SUCCESSOR, Comptes rendus de l'Academie des sciences. Serie 1, Mathematique, 318(9), 1994, pp. 847-850

Authors: CALBRIX H NIVAT M PODELSKI A

Citation: H. Calbrix et al., ON ULTIMATELY PERIODIC WORDS OF RATIONAL OMEGA-LANGUAGES, Comptes rendus de l'Academie des sciences. Serie 1, Mathematique, 318(5), 1994, pp. 493-497