BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Spain
Collaborated with:
N.Rampersad P.Salimov É.Vandomme L.Waxweiler D.Goc V.Halava T.Harju T.Kärki
Talks about:
number (3) word (3) abelian (2) theori (2) period (2) border (2) set (2) character (1) recogniz (1) polynomi (1)

Person: Michel Rigo

DBLP DBLP: Rigo:Michel

Contributed to:

DLT 20132013
DLT 20132014
LATA 20112011
DLT 20102010
DLT 20102011

Wrote 6 papers:

DLT-2013-RampersadRS #on the #word
On the Number of Abelian Bordered Words (NR, MR, PS), pp. 420–432.
DLT-J-2013-GocRRS14 #automation #on the #word
On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving) (DG, NR, MR, PS), pp. 1097–1110.
LATA-2011-RigoV #complexity #integer #set
Syntactic Complexity of Ultimately Periodic Sets of Integers (MR, ÉV), pp. 477–488.
DLT-2010-HalavaHKR #on the #word
On the Periodicity of Morphic Words (VH, TH, TK, MR), pp. 209–217.
DLT-2010-Rigo #formal method
Numeration Systems: A Link between Number Theory and Formal Language Theory (MR), pp. 33–53.
DLT-J-2010-RigoW11 #finite #logic #set
Logical Characterization of Recognizable Sets of polynomials over a Finite Field (MR, LW), pp. 1549–1563.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.