Publication
-
January 1987 -
January 1987 -
Multigrid and defect correction for the efficient solution of the steady Euler equations In Proceedings
January 1987 -
Decidability of bisimulation equivalence for processes generating context-free languages In Proceedings
January 1987 -
Approximating the projective model In Proceedings
January 1987 -
Management of stratified databases Tech Report
January 1987 -
Minimum disclosure proofs of knowledge Tech Report
January 1987 -
Incremental generation of lexical scanners Tech Report
January 1987