There is no complete axiom system for shuffle expressions
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999) no. 3, pp. 271-277
Cet article a éte moissonné depuis la source Numdam
@article{ITA_1999__33_3_271_0,
author = {Szepietowski, A.},
title = {There is no complete axiom system for shuffle expressions},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {271--277},
year = {1999},
publisher = {EDP-Sciences},
volume = {33},
number = {3},
mrnumber = {1728427},
zbl = {0951.68066},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ITA_1999__33_3_271_0/}
}
TY - JOUR AU - Szepietowski, A. TI - There is no complete axiom system for shuffle expressions JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1999 SP - 271 EP - 277 VL - 33 IS - 3 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1999__33_3_271_0/ LA - en ID - ITA_1999__33_3_271_0 ER -
%0 Journal Article %A Szepietowski, A. %T There is no complete axiom system for shuffle expressions %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1999 %P 271-277 %V 33 %N 3 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1999__33_3_271_0/ %G en %F ITA_1999__33_3_271_0
Szepietowski, A. There is no complete axiom system for shuffle expressions. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999) no. 3, pp. 271-277. http://geodesic.mathdoc.fr/item/ITA_1999__33_3_271_0/