Publications from 2012
-
Quantum mechanical system symmetry In Proceedings
January 1984 -
Vezelbundels en natuurkunde Article
Nederlands Tijdschrift voor Natuurkunde, 50B(10), 81-84.January 1984 -
Symmetry in physics and systems theory, an introduction to past, present and future possibilities In Proceedings
January 1984 -
Notes on (the philosophy of ) linearization Tech Report
January 1984 -
Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor In Proceedings
January 1984 -
Multigrid algorithms run on supercomputers Article
Supercomputer, 44-51.January 1984 -
Total dual integrality from directed graphs, crossing families, and sub- and supermodular functions Article
Progress in Combinatorial Optimization (W.R. Pulleyblank, ed.), 315-361.January 1984 -
Geometric methods in combinatorial optimization Article
Progress in Combinatorial Optimization (W.R. Pulleyblank, ed.), 167-183.January 1984 -
A polynomial-time test for total dual integrality in fixed dimension Article
Mathematical Programming Study, 64-69.January 1984 -
Polynomial algorithms for perfect graphs Article
Annals of Discrete Mathematics, 325-356.January 1984 -
November 1983
-
Fake topological Hilbert spaces and characterizations of dimension in terms of negligibility Dissertation
November 1983 -
November 1983
-
November 1983
-
November 1983
-
November 1983
-
Biomathematica : brochure Booklet
November 1983 -
Systeemtheorie : brochure Booklet
November 1983 -
Het B-project : brochure Booklet
November 1983 -
Multigrid-methoden : brochure Booklet
November 1983 -
November 1983
-
November 1983
-
November 1983
-
Programmeertechnologie Booklet
November 1983 -
Symmetrie en chaos Booklet
November 1983 -
Multigrid-methoden Booklet
November 1983 -
Stochastische processen Booklet
November 1983 -
November 1983
-
Netwerken van wachtrijen Booklet
November 1983 -
Systeemtheorie Booklet
November 1983 -
Computer-geïntegreerde produktie Booklet
November 1983 -
Biomathematica Booklet
November 1983 -
November 1983
-
Het B-project Booklet
November 1983 -
CWI newsletter Miscellaneous
November 1983 -
Online mathematical literature information Tech Report
November 1983 -
November 1983
-
November 1983
-
November 1983
-
November 1983
-
September 1983
-
September 1983
-
September 1983
-
The B newsletter Miscellaneous
August 1983 -
Compactness in semantics for merge and fair merge In Proceedings
June 1983 -
Foundations and applications of Montague grammar Dissertation
April 1983 -
February 1983
-
January 1983
-
January 1983
-
January 1983
-
January 1983
-
Software with low storage requirements for two-domensional nonlinear parabolic differential equations Tech Report
January 1983 -
January 1983
-
January 1983
-
Random number generators for a pocket calculator Tech Report
January 1983 -
January 1983
-
The multi-grid method in the solution of time-dependent nonlinear partial differential equations Tech Report
January 1983 -
January 1983
-
January 1983
-
January 1983
-
On iterative procedures of asymptotic inference Tech Report
January 1983 -
January 1983
-
January 1983
-
A Berry-Esseen bound for symmetric statistics Tech Report
January 1983 -
January 1983
-
January 1983
-
January 1983
-
A proof rule for restoring logic circuits Tech Report
January 1983 -
Iteration of number-theoretic functions Tech Report
January 1983 -
Variations on the Heisenberg spherical harmonics Tech Report
January 1983 -
January 1983
-
Intertwining functions on compact Lie groups, I Tech Report
January 1983 -
Connectivity of circulant digraphs Tech Report
January 1983 -
Current algebras and the identification problem Tech Report
January 1983 -
An abstraction mechanism for process algebras Tech Report
January 1983 -
January 1983
-
Het software house- en simulatiespel Tech Report
January 1983 -
Algebraic tools for system construction Tech Report
January 1983 -
January 1983
-
Linear multistep methods with minimized truncation error for periodic initial value problems Tech Report
January 1983 -
January 1983
-
January 1983
-
January 1983
-
On M-functions and nonlinear relaxation methods Tech Report
January 1983 -
January 1983
-
January 1983
-
January 1983
-
January 1983
-
January 1983
-
January 1983
-
Growth, fission and the stable size distribution Tech Report
January 1983 -
January 1983
-
January 1983
-
January 1983
-
Making B-tress work for B Tech Report
January 1983 -
January 1983
-
January 1983
-
January 1983
-
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness Tech Report
January 1983 -
Another incompleteness theorem for Hoare's logic Tech Report
January 1983