Geodesic
Foundations for stepwise refinement of program specifications via cylindric algebra theory
Diagrammes, Tome 8 (1982), Exposé no. 1, 24 p.

Voir la notice de l'article provenant de la source Numdam

MR Zbl 
Néméti, I. Foundations for stepwise refinement of program specifications via cylindric algebra theory. Diagrammes, Tome 8 (1982), Exposé no. 1, 24 p.. http://geodesic.mathdoc.fr/item/DIA_1982__8__A1_0/
@article{DIA_1982__8__A1_0,
     author = {N\'em\'eti, I.},
     title = {Foundations for stepwise refinement of program specifications via cylindric algebra theory},
     journal = {Diagrammes},
     note = {talk:1},
     pages = {N1--N24},
     year = {1982},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {8},
     mrnumber = {780444},
     zbl = {0534.03033},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DIA_1982__8__A1_0/}
}
TY  - JOUR
AU  - Néméti, I.
TI  - Foundations for stepwise refinement of program specifications via cylindric algebra theory
JO  - Diagrammes
N1  - talk:1
PY  - 1982
SP  - N1
EP  - N24
VL  - 8
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://geodesic.mathdoc.fr/item/DIA_1982__8__A1_0/
LA  - en
ID  - DIA_1982__8__A1_0
ER  - 
%0 Journal Article
%A Néméti, I.
%T Foundations for stepwise refinement of program specifications via cylindric algebra theory
%J Diagrammes
%Z talk:1
%D 1982
%P N1-N24
%V 8
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://geodesic.mathdoc.fr/item/DIA_1982__8__A1_0/
%G en
%F DIA_1982__8__A1_0