Publications from 2012
-
The probabilistic realization problem for finite dimensional Gaussian random variables : (preprint) Tech Report
January 1981 -
Analysis of heuristics for stochastic programming: results for hierarchical scheduling problems : (preprint) Tech Report
January 1981 -
January 1981
-
January 1981
-
January 1981
-
January 1981
-
A polynomial-time algorithm for solving the set covering problem on a totally-balanced matrix Tech Report
January 1981 -
January 1981
-
January 1981
-
Analysis of heuristics for two-machine flow-shop sequencing subject to release dates : (preprint) Tech Report
January 1981 -
January 1981
-
January 1981
-
January 1981
-
Laser plotting of pollen diagrams Tech Report
January 1981 -
PGEN; a general purpose parser generator Tech Report
January 1981 -
Abstract storage structures : (preprint) Tech Report
January 1981 -
January 1981
-
January 1981
-
January 1981
-
From VW-grammar to Aleph : (preprint) Tech Report
January 1981 -
On the existence of Cook semantics : (preprint) Tech Report
January 1981 -
The GKS reviewing process : (preprint) Tech Report
January 1981 -
January 1981
-
Communicating graphics : (preprint) Tech Report
January 1981 -
January 1981
-
January 1981
-
An operational semantics for bounded nondeterminism equivalent to a denotational one : (preprint) Tech Report
January 1981 -
January 1981
-
An underlying context-free grammar of Algol 68+ Tech Report
January 1981 -
Pep: an interactive programming system with an Algol-like programming language : (preprint) Tech Report
January 1981 -
An operator-priority grammar for Algol 68+ Tech Report
January 1981 -
January 1981
-
January 1981
-
Proving program inclusion using Hoare's logic Tech Report
January 1981 -
January 1981
-
January 1981
-
January 1981
-
January 1981
-
Languageless programming : (preprint) Tech Report
January 1981 -
On top-down parsing of Algol 68+ Tech Report
January 1981 -
Algebraic specifications for parametrized data types with minimal parameter and target algebras : (preprint) Tech Report
January 1981 -
January 1981
-
January 1981
-
January 1981
-
Definition of an abstract Algol 68 machine Tech Report
January 1981 -
On the MC Algol 68 compiler Tech Report
January 1981 -
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
A special class of multistep Runge-Kutta methods with extended real stability interval : (preprint) Tech Report
January 1981 -
Application of multigrid methods for integral equations to two problems from fluid dynamics : (preprint) Tech Report
January 1981 -
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
Berry-esseen theorems for simple linear rank statistics under the null-hypothesis : (preprint) Tech Report
January 1981 -
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
An Edgeworth expansion for simple linear rank statistics under the null-hypothesis : (preprint) Tech Report
January 1981 -
A note on an inequality of Chernoff : (preprint) Tech Report
January 1981 -
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
Montague grammar and functional grammar Tech Report
January 1981 -
A characterization by order of the generalized hexagons and a near octagon whose lines have length three Tech Report
January 1981 -
January 1981
-
An inequality in binary vector spaces Tech Report
January 1981 -
January 1981
-
January 1981
-
January 1981
-
The uniqueness of the near hexagon on 759 points Tech Report
January 1981 -
January 1981