The pseudovariety is hyperdecidable
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997) no. 5, pp. 457-482
Cet article a éte moissonné depuis la source Numdam
@article{ITA_1997__31_5_457_0,
author = {Almeida, J. and Zeitoun, M.},
title = {The pseudovariety $J$ is hyperdecidable},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {457--482},
year = {1997},
publisher = {EDP-Sciences},
volume = {31},
number = {5},
mrnumber = {1611659},
zbl = {0928.20046},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ITA_1997__31_5_457_0/}
}
TY - JOUR AU - Almeida, J. AU - Zeitoun, M. TI - The pseudovariety $J$ is hyperdecidable JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1997 SP - 457 EP - 482 VL - 31 IS - 5 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1997__31_5_457_0/ LA - en ID - ITA_1997__31_5_457_0 ER -
%0 Journal Article %A Almeida, J. %A Zeitoun, M. %T The pseudovariety $J$ is hyperdecidable %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1997 %P 457-482 %V 31 %N 5 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1997__31_5_457_0/ %G en %F ITA_1997__31_5_457_0
Almeida, J.; Zeitoun, M. The pseudovariety $J$ is hyperdecidable. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997) no. 5, pp. 457-482. http://geodesic.mathdoc.fr/item/ITA_1997__31_5_457_0/