Semantics of flowchart programs and the free Conway theories
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 32 (1998) no. 1-3, pp. 35-78
Voir la notice de l'article provenant de la source Numdam
@article{ITA_1998__32_1-3_35_0,
author = {Bern\'atsky, L. and \'Esik, Z.},
title = {Semantics of flowchart programs and the free {Conway} theories},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {35--78},
publisher = {EDP-Sciences},
volume = {32},
number = {1-3},
year = {1998},
mrnumber = {1657511},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ITA_1998__32_1-3_35_0/}
}
TY - JOUR AU - Bernátsky, L. AU - Ésik, Z. TI - Semantics of flowchart programs and the free Conway theories JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1998 SP - 35 EP - 78 VL - 32 IS - 1-3 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1998__32_1-3_35_0/ LA - en ID - ITA_1998__32_1-3_35_0 ER -
%0 Journal Article %A Bernátsky, L. %A Ésik, Z. %T Semantics of flowchart programs and the free Conway theories %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1998 %P 35-78 %V 32 %N 1-3 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1998__32_1-3_35_0/ %G en %F ITA_1998__32_1-3_35_0
Bernátsky, L.; Ésik, Z. Semantics of flowchart programs and the free Conway theories. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 32 (1998) no. 1-3, pp. 35-78. http://geodesic.mathdoc.fr/item/ITA_1998__32_1-3_35_0/