Publication
-
Tests for preference Book
January 1983 -
A Counterexample to a Conjecture of J.M. Hammersley and D.J.A. Welsh concerning First-Passage Percolation Article
Advances in Applied Probability, 465-467.January 1983 -
Formal proof systems for program equivalence In Proceedings
January 1983 -
Fairness assumptions for CSP in a temporal logic framework In Proceedings
January 1983 -
Symmetric systems with semisimple structure algebra: the quaternionic case Article
Systems & Control Letters, 3(3), 151-154.January 1983 -
Estimating the global error of Runge-Kutta approximations for ordinary differential equations In Proceedings
January 1983 -
The generalized Abel transform for ${ m SL}(2,,C)$ In Proceedings
January 1983 -
Current algebras and the identification problem Article
Stochastics, 11(1-2), 65-101.January 1983