Publications from 2024
-
January 1978
-
January 1978
-
January 1978
-
January 1978
-
January 1978
-
January 1978
-
January 1978
-
January 1978
-
Uniform asymptotic expansions of confluent hypergeometric functions Article
Journal of the Institute of Mathematics and Its Applications, 22(2), 215-223.January 1978 -
January 1978
-
January 1978
-
January 1978
-
The proportional representation problem in the Second Chamber (of the Dutch parliament): an approach via minimal distances Article
Statistica Neerlandica, 32(4), 163-179.January 1978 -
Inductive definitions, models of comprehension and invariant definability Article
Israel Journal of Mathematics, 221-238.January 1978 -
January 1978
-
The linking of matroids by linking systems Article
Combinatorics (A. Hajnal and V.T. Sos, eds.) , 973-981.January 1978 -
Constructing formal groups IV, V, VI, VII Tech Report
January 1978 -
January 1978
-
A new proof of Cartier's third theorem Tech Report
January 1978 -
January 1978
-
January 1978
-
Invariants , moduli and canonical forms for linear time-varying dynamical systems Article
Ricerche di automatica, 9(1), 1-14.January 1978 -
January 1978
-
On the nonexistence of canonical forms for linear dynamical systems Article
Bulletin of the Calcutta Mathematical Society, 70(6), 359-369.January 1978 -
On the construction and analysis of stable numerical methods for stiff and parabolic differential equations Dissertation
Modelling, Analysis and ComputationNovember 1977 -
November 1977
-
Matroids and linking systems Dissertation
November 1977 -
Conferentie van numeriek wiskundigen : Woudschoten, Zeist, 10-12.10.1977 : programma en abstracts Booklet
October 1977 -
Aleph manual [Third print.] Tech Report
October 1977 -
Limiting behaviour in an epidemic model Article
Nonlinear Analysis, 1(5), 459-470.August 1977 -
July 1977
-
Semantic and proof theory of pascal procedures In Proceedings
July 1977 -
Exponential convergence of products of stochastic matrices Article
Journal of Mathematical Analysis and Applications, 59(2), 360-364.June 1977 -
Euclidische getallenlichamen Dissertation
May 1977 -
May 1977
-
Towards a machine-independent transput section In Proceedings
March 1977 -
Towards the design of a super-language of ALGOL 68 for the Standard Prelude (Excerpt) In Proceedings
March 1977 -
A numerical study of stiff two-point boundary problems Dissertation
Scientific ComputingMarch 1977 -
A digiset simulator Tech Report
March 1977 -
March 1977
-
January 1977
-
January 1977
-
Constructing formal groups II Tech Report
January 1977 -
Constructing formal groups II Tech Report
January 1977 -
January 1977
-
Constructing formal groups I Tech Report
January 1977 -
Some examples concerning linear continuity of solutions to programming problems Article
Operations Research, 25(4), 715-719.January 1977 -
Constructing formal groups II Article
Journal of Pure and Applied Algebra, 151-161.January 1977 -
Constructing formal groups I Article
Journal of Pure and Applied Algebra, 131-149.January 1977 -
A note on David Lubell's article " Local matchings in the function space of a partial order" Article
Journal of Combinatorial Theory - Series A, 359-362.January 1977 -
January 1977
-
January 1977
-
Enige begrippen uit de cooperatieve speltheorie Tech Report
January 1977 -
Toepassingen van cooperatieve speltheorie Tech Report
January 1977 -
Modelvorming met stochastische spelen Tech Report
January 1977 -
January 1977
-
January 1977
-
January 1977
-
January 1977
-
January 1977
-
January 1977
-
January 1977
-
January 1977
-
January 1977
-
January 1977
-
January 1977
-
Discounted and undiscounted value-iteration in Markov decision problems: a survey : (preprint) Tech Report
January 1977 -
Stationary distributions for control policies in an M/G/1 queue with removable server : (preprint) Tech Report
January 1977 -
January 1977
-
January 1977
-
Optimization and approximation in deterministic sequencing and scheduling: a survey : (preprint) Tech Report
January 1977 -
January 1977
-
January 1977
-
A note on simultaneous recurrence conditions on a set of denumerable stochastic matrices : (preprint) Tech Report
January 1977 -
January 1977
-
Inleiding tot programmaverificatie Tech Report
January 1977 -
Intermediate data structure (IDS) Tech Report
January 1977 -
January 1977
-
January 1977
-
January 1977
-
Towards the design of a super-language of Algol 68 for the standard prelude : (prepublication) Tech Report
January 1977 -
Separate compilation, definition modules, and block-structured languages : (prepublication) Tech Report
January 1977 -
Program text and program structure : (preprint) Tech Report
January 1977 -
Linear time simulation of multihead Turing machines with head-to-head jumps : (preprint) Tech Report
January 1977 -
Semantics and proof theory of Pascal procedures Tech Report
January 1977 -
How good can a graph be n-colored? : (preprint) Tech Report
January 1977 -
January 1977
-
January 1977
-
Completeness with finite systems of intermediate assertions for recursive program schemes : (preprint) Tech Report
January 1977 -
January 1977
-
Keyword grammars : (preprint) Tech Report
January 1977 -
Guidelines for program portability : (preprint) Tech Report
January 1977 -
Choosing a tag-list algorithm for a compiler with special application to the Aleph compiler : (preprint) Tech Report
January 1977 -
January 1977
-
Alice: an exercise in program portability Tech Report
January 1977 -
January 1977
-
January 1977
-
January 1977
-
January 1977
-
January 1977