Publication
-
Semantic correctness for a parallel object-oriented language Article
SIAM Journal on Computing, 19(2), 341-383.January 1990
-
Completeness of resolution revisited Article
Theoretical Computer Science, 74(2), 227-237.January 1990
-
Asymptotic estimates for Laguerre polynomials Article
ZAMP: Zeitschrift für angewandte Mathematik und Physik, 41(1), 114-126.January 1990 -
Hahn-Banach type theorems for adjoint semigroups Article
Mathematische Annalen, 287(1), 63-71.January 1990 -
Upwind discretization of the steady Navier-Stokes equations Article
International Journal for Numerical Methods in Fluids, 11(1), 99-117.January 1990
-
Jacobi functions as limit cases of $q$-ultraspherical polynomials Article
Journal of Mathematical Analysis and Applications, 148(1), 44-54.January 1990 -
Uniform asymptotic expansions of a class of integrals in terms of modified Bessel functions, with application to confluent hypergeometric functions Article
SIAM Journal on Mathematical Analysis, 21(1), 241-261.January 1990
-
State representations of linear systems with output constraints Article
Mathematics of Control, Signals, and Systems, 3(1), 61-80.January 1990