Publication
-
Approximation methods for nonlinear filtering problems arising in system identification (summary) Tech Report
January 1981 -
Ten years of Hoare s logic, a survey, part I Article
ACM Transactions on Programming Languages and Systems, 3(4), 431-483.January 1981 -
Recursive assertions and parallel programs Article
Acta Informatica, 219-232.January 1981 -
January 1981
-
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