Theory of types and data description
Kybernetika, Tome 14 (1978) no. 5, p. 327.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Classification : 03B15, 03B99, 68H05, 68P05, 68T99
@article{KYB_1978__14_5_a0,
     author = {Materna, Pavel},
     title = {Theory of types and data description},
     journal = {Kybernetika},
     pages = {--327},
     publisher = {mathdoc},
     volume = {14},
     number = {5},
     year = {1978},
     mrnumber = {512000},
     zbl = {0402.68060},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1978__14_5_a0/}
}
TY  - JOUR
AU  - Materna, Pavel
TI  - Theory of types and data description
JO  - Kybernetika
PY  - 1978
SP  - 
EP  - 327
VL  - 14
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_1978__14_5_a0/
LA  - en
ID  - KYB_1978__14_5_a0
ER  - 
%0 Journal Article
%A Materna, Pavel
%T Theory of types and data description
%J Kybernetika
%D 1978
%P -327
%V 14
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1978__14_5_a0/
%G en
%F KYB_1978__14_5_a0
Materna, Pavel. Theory of types and data description. Kybernetika, Tome 14 (1978) no. 5, p. 327. http://geodesic.mathdoc.fr/item/KYB_1978__14_5_a0/