Publication
-
January 1981
-
The "mixing character order" cannot be measured by a finite set of differentiable functions Tech Report
January 1981
-
The linear systems Lie-algebra, the Segal-Weil representation and all Kalman-Bucy filters Tech Report
January 1981
-
System identification and nonlinear filtering : Lie algebras In Proceedings
January 1981
-
Approximation methods for nonlinear filtering problems arising in system identification In Proceedings
January 1981
-
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
-
January 1981