Squaring transducers: an efficient procedure for deciding functionality and sequentiality (bibtex)

by Béal, Marie-Pierre, Carton, Olivier, Prieur, Christophe and Sakarovitch, Jacques

Reference:

Squaring transducers: an efficient procedure for deciding functionality and sequentiality (Béal, Marie-Pierre, Carton, Olivier, Prieur, Christophe and Sakarovitch, Jacques), In Theoret. Comput. Sci., volume 292, 2003.

Bibtex Entry:

@article {BealCartonPrieurSacka03,
    AUTHOR = {B{{\'e}}al, Marie-Pierre and Carton, Olivier and Prieur,
              Christophe and Sakarovitch, Jacques},
     TITLE = {Squaring transducers: an efficient procedure for deciding
              functionality and sequentiality},
      NOTE = {Selected papers in honor of Jean Berstel},
   JOURNAL = {Theoret. Comput. Sci.},
  FJOURNAL = {Theoretical Computer Science},
    VOLUME = 292,
      YEAR = 2003,
    NUMBER = 1,
     PAGES = {45--63},
    ISSN = {0304-3975},
     CODEN = {TCSDI},
   MRCLASS = {68Q45 (03D05)},
  MRNUMBER = {MR1964625 (2004c:68066)},
MRREVIEWER = {Rani Siromoney},
}