Publications from 2012
-
An optimal simulation of counter machines Tech Report
January 1982 -
The GKS input facilities and how to use them Tech Report
January 1982 -
Incremental polymorphic type checking in B Tech Report
January 1982 -
January 1982
-
January 1982
-
A library of multigrid routines: ALGOL 68 Tech Report
January 1982 -
January 1982
-
January 1982
-
January 1982
-
On efficient simulations of multicounter machines Article
Information and Control, 55(1-3), 20-39.January 1982 -
The uniqueness of the near hexagon on $729$ points Article
Combinatorica, 2(4), 333-340.January 1982 -
Polarities of G. Higman's symmetric design and a strongly regular graph on $176$ vertices Article
Aequationes Mathematicae, 25(1), 77-82.January 1982 -
Extensions of the defect correction principle In Proceedings
January 1982 -
The defect correction principle In Proceedings
January 1982 -
January 1982
-
Report on:SIGGRAPH Workshop on Graphics Input Interaction Techniques Article
Computer Graphics Forum, 1(3), 91-91.January 1982 -
The Review of GKS version 7.0, The Finishing Touch. Article
Computer Graphics Forum, 1(4), 204-212.January 1982 -
The Area of Graphics Standardization Article
Computer Graphics Forum, 1(1), 14-16.January 1982 -
Requirements and Architecture of a CAM-oriented CAD System for design and Manufacture of Mechanical Parts Dissertation
January 1982 -
January 1982
-
January 1982
-
January 1982
-
January 1982
-
The completeness of the algebraic specification methods for computable data types Article
Information and Control, 186-200.January 1982 -
Edgeworth expansions for functions of uniform spacings In Proceedings
January 1982 -
The Berry-Esseen bound for $U$-statistics In Proceedings
January 1982 -
Strong normalization and perpetual reductions in the lambda calculus Article
Elektronische Informationsverarbeitung und Kybernetik, 18(7-8), 403-417.January 1982 -
Processes and the denotational semantics of concurrency Article
Information and Control, 54(1-2), 70-120.January 1982 -
A Note on Percolation Theory Article
Journal of Physics A: Mathematical and Theoretical, 605-610.January 1982 -
January 1982
-
January 1982
-
January 1982
-
January 1982
-
January 1982
-
January 1982
-
January 1982
-
From A to Z : proceedings of a symposium in honour of A. C. Zaanen [held at Leiden, 05-06.07.1982] Book
January 1982 -
January 1982
-
January 1982
-
January 1982
-
January 1982
-
January 1982
-
January 1982
-
On the zeros of the Riemann zeta function in the critical strip. II Article
Mathematics of Computation, 39(160), 681-688.January 1982 -
Sum rule for products of Bessel functions: comments on a paper by Newberger"New sum rule for products of Bessel functins with application to plasme physics" Article
Journal of Mathematical Physics, 23(7), 1278-1281.January 1982 -
The uniform asymptotic expansion of a class of integrals related to cumulative distribution functions Article
SIAM Journal on Mathematical Analysis, 13(2), 239-253.January 1982 -
January 1982
-
January 1982
-
Proof rules dealing with fairness In Proceedings
January 1982 -
Fair termination revisited with delay In Proceedings
January 1982 -
January 1982
-
Contributions to the theory of logic programming Article
Journal of the ACM, 841-862.January 1982 -
January 1982
-
January 1982
-
January 1982
-
January 1982
-
January 1982
-
On Lie algebras and finite dimensional filtering Tech Report
January 1982 -
On Lie algebras and finite dimensional filtering Tech Report
January 1982 -
On Lie algebras and finite dimensional filtering Article
Stochastics, 29-62.January 1982 -
Mixed defect correction iteration for the accurate solution of the convection diffusion equation Book Chapter
January 1982 -
An accurate method without directional bias for the numerical solution of a 2-d eliptic singular perturbation problem Book Chapter
January 1982 -
A note on defect correction processes with an approximate inverse of deficient rank Article
Journal of Computational and Applied Mathematics, 8(2), 137-139.January 1982 -
A short elementary proof of Grothendieck s theorem on algebraic vectorbundles over the projective line Tech Report
January 1982 -
A short elementary proof of Grothendieck s theorem on algebraic vectorbundles over the projective line Tech Report
January 1982 -
A short elementary proof of Grothendieck's theorem on algebraic vectorbundles over the projective line Article
Journal on pure and applied algebra, 207-211.January 1982 -
Khachian's ellipsoïde-methode voor lineare programmering Article
Complexiteit an Algorithmen, deel 2 (P.M.B. Vitányi, J. van Leeuwen and P. van Emde Boas, eds.), 127-157.January 1982 -
On the Snapper, Liebler-Vitale, Lam theorem on permutation representations of the symmetric groups Tech Report
January 1982 -
On the Snapper, Liebler-Vitale, Lam theorem on permutation representations of the symmetric groups Tech Report
January 1982 -
On the Snapper, Liebler-Vitale, Lam theorem on permutation representations of the symmetric grousp Article
Journal of Pure and Applied Algebra, 29-32.January 1982 -
On the number of edge-colourings of regular bipartite graphs Article
Discrete Mathematics, 297-301.January 1982 -
Min-max relations for directed graphs Article
Annals of Discrete Mathematics, 261-280.January 1982 -
December 1981
-
On the Notion of Strong Typing Book Chapter
October 1981 -
From VW-grammar to ALEPH Book Chapter
October 1981 -
October 1981
-
Formal language definitions can be made practical Book Chapter
October 1981 -
October 1981
-
October 1981
-
October 1981
-
The numerical analysis of reducible quadrature methods for Volterra integral and integro-differential equations Dissertation
September 1981 -
May 1981
-
A program to solve a solute diffusion problem with segregation at a moving interface Article
Computer Physics Communications, 22(4), 439-450.May 1981 -
April 1981
-
Tests for preference Dissertation
April 1981 -
January 1981
-
January 1981
-
January 1981
-
Construction of strongly regular graphs, two-weight codes and partial geometries Article
Combinatorica, 63-73.January 1981 -
January 1981
-
January 1981
-
January 1981
-
January 1981
-
Two lines least squares : (preprint) Tech Report
January 1981 -
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981
-
January 1981