@Article{         Almeida1997,
  Author        = "Almeida, J. and Zeitoun, M.",
  date-added    = "2017-06-08 07:59:00 +0000",
  date-modified = "2017-12-30 17:48:37 +0000",
  Journal       = "RAIRO - Theoretical Informatics and Applications - Informatique Th{\'e}orique et Applications",
  Keywords      = "pseudovarieties of finite semigroups; implicit operations; pseudovariety closure of languages; decidable problems; hyperdecidability; recognizable languages; emptiness problem",
  Language      = "eng",
  Number        = "5",
  Pages         = "457-482",
  Publisher     = "EDP-Sciences",
  Title         = "The pseudovariety $J$ is hyperdecidable",
  URL           = "http://eudml.org/doc/92573",
  Volume        = "31",
  Year          = "1997",
  bdsk-url-1    = "http://eudml.org/doc/92573",
  File          = "ITA\_1997\_\_31\_5\_457\_0 (0) - a - a - r.pdf"
}

@Article{ Almeida1997, Author = "Almeida, J. and Zeitoun, M.", date-added = "2017-06-08 07:59:00 +0000", date-modified = "2017-12-30 17:48:37 +0000", Journal = "RAIRO - Theoretical Informatics and Applications - Informatique Th{\'e}orique et Applications", Keywords = "pseudovarieties of finite semigroups; implicit operations; pseudovariety closure of languages; decidable problems; hyperdecidability; recognizable languages; emptiness problem", Language = "eng", Number = "5", Pages = "457-482", Publisher = "EDP-Sciences", Title = "The pseudovariety $J$ is hyperdecidable", URL = "http://eudml.org/doc/92573", Volume = "31", Year = "1997", bdsk-url-1 = "http://eudml.org/doc/92573", File = "ITA_1997__31_5_457_0 (0) - a - a - r.pdf" }