About DML-CZ
|
FAQ
|
Conditions of Use
|
Math Archives
|
Contact Us
DML-CZ Home
68H05
Materna, Pavel
:
Theory of types and data description
.
(English).
Kybernetika
,
vol. 14 (1978), issue 5
,
pp. (313)-327
Search
Advanced Search
Browse
Collections
Titles
Authors
MSC
About DML-CZ
Partner of