Publication
-
January 1981
-
Cook's tour of countable nondeterminism In Proceedings
January 1981
-
Preface : Stochastic systems : the mathematics of filtering and identification and applications Preface
January 1981
-
On the compactification of programs Article
Bulletin of EATCS, 37-39.January 1981
-
Why PASCAL Tech Report
January 1981 -
On the expansion of confluent hypergeometric functions in terms of bessel functions Article
Journal of Computational and Applied Mathematics, 7(1), 27-32.January 1981
-
On representations for the symmetric groups, nilpotent matrices, systems, vector bundles and Schubert cells Tech Report
January 1981
-
January 1981