Publication
-
Block Runge-Kutta methods In Proceedings
January 1991 -
An exercise in transformational programming: backtracking and branch-and-bound Article
Science of Computer Programming, 16(1), 19-48.January 1991
-
Anaphora and the logic of change In Proceedings
January 1991 -
January 1991
-
Preface Article
January 1991 -
January 1991 -
Minimality of descriptor representations under external equivalence Article
Automatica, 27(6), 985-995.January 1991 -
January 1991