Publications from 2024
-
Recursive embeddings of partial orderings Article
Canadian Journal of Mathematics, 349-359.January 1977 -
Criteria for transportable ALGOL libraries In Proceedings
January 1977 -
Characterizations of supercompact spaces Article
General Topology and Its Relations to Modern Analysis and Algebra IV (J. Novák, ed.), 407-411.January 1977 -
The ubiquity of Coxeter Dynkin diagrams Tech Report
January 1977 -
The ubiquity of Coxeter Dynkin diagrams (an introduction to the A-D-E problem) Article
Nieuw Archief voor Wiskunde, 25(3), 257-307.January 1977 -
January 1977
-
Degenerating families of linear dynamical systems In Proceedings
January 1977 -
Tapis de Cartier pour les A-modules formels Tech Report
January 1977 -
Tapis de Cartier pour les A-modules formels Article
Comptes rendus de l'Academie de Sciences, 739-744.January 1977 -
January 1977
-
Une théorie de Cartier-Dieudonné pour les A-modules formels Article
Comptes rendus de l'Academie de Sciences, 655-657.January 1977 -
January 1977
-
January 1977
-
Moduli and canonical forms for linear dynamical systems III : the algebraic-geometric case Tech Report
January 1977 -
Moduli and canonical forms for linear dynamical systems III : the algebraic-geometric case In Proceedings
January 1977 -
January 1977
-
Moduli and canonical forms for linear dynamical systems II : the topological case Article
Mathematical systems theory, 363-385.January 1977 -
Norm maps for formal groups III Tech Report
January 1977 -
Norm maps for formal groups III Article
Duke Mathematical Journal, 44(2), 305-314.January 1977 -
Constructing formal groups III : applications to complex cobordism and Brown-Peterson cohomology Tech Report
January 1977 -
Constructing formal groups III : applications to complex cobordism and Brown-Peterson, cohomology Article
Journal of Pure and Applied Algebra, 1-18.January 1977 -
October 1976
-
A space-saving technique for assigning algol 68 multiple values Article
Information Processing Letters, 5(4), 97-99.October 1976 -
An analysis of the convergence of newton-like methods for solving systems of nonlinear equations Tech Report
October 1976 -
Call-by-value versus call-by-name: a proof-theoretic comparison : prepublication [Second print.] Tech Report
September 1976 -
September 1976
-
Deterministic Lindenmayer languages nonterminals and homomorphisms, Article
Theoretical Computer Science, 2(1), 49-71.June 1976 -
Stabilized runge-kutta methods for second order differential equations without first derivatives Tech Report
June 1976 -
June 1976
-
June 1976
-
Toepassing van de eindige elementenmethode op een- en tweedimensionale randwaardeproblemen In Proceedings
April 1976 -
March 1976
-
Sequencing by enumerative methods Dissertation
February 1976 -
A theoretical and computational study of generalized aliquot sequences Dissertation
CryptologyJanuary 1976 -
A universal isomorphism of p-typical formal groups and operations in Brown-Peterson cohomology Article
Indagationes Mathematicae, 195-199.January 1976 -
January 1976
-
The asymptotic behaviour of undiscounted value iteration in Markov decision problems : (prepublication) Tech Report
January 1976 -
Sensitive time and discount optimality in Markov renewal decision problems with instantaneous actions Tech Report
January 1976 -
January 1976
-
January 1976
-
January 1976
-
January 1976
-
January 1976
-
January 1976
-
January 1976
-
Semi-Markov strategies in stochastic games Tech Report
January 1976 -
Computergebruik door visueel gehandicapten Tech Report
January 1976 -
Enige hulpmiddelen bij korrektheidsbewijzen Tech Report
January 1976 -
Tekstverwerking Tech Report
January 1976 -
January 1976
-
Chess, how to program the exceptions? : 3rd ed Tech Report
January 1976 -
Mini Algol 68 user's guide : 2nd ed Tech Report
January 1976 -
January 1976
-
A problem in collateral elaboration Tech Report
January 1976 -
January 1976
-
January 1976
-
Exercises in denotational semantics Tech Report
January 1976 -
January 1976
-
January 1976
-
Extended type checking : (prepublication) Tech Report
January 1976 -
January 1976
-
January 1976
-
A view of coroutines : (prepublication) Tech Report
January 1976 -
January 1976
-
January 1976
-
January 1976
-
January 1976
-
January 1976
-
Achievable high scores of -moves and running times in DPDA computation : (prepublication) Tech Report
January 1976 -
Equivalence of operational and denotational semantics for a fragment of Pascal : (prepublication) Tech Report
January 1976 -
January 1976
-
Taylor-Runge-Kutta methoden Tech Report
January 1976 -
January 1976
-
January 1976
-
January 1976
-
Numerical solution of mildly nonlinear two-point boundary value problems by means of Galerkin's method Tech Report
January 1976 -
The solution of the order equations of a four-point, fourth-order, two-step runge-kutta method Tech Report
January 1976 -
The solution of the order equations of a four-point, fourth order, two-step runge-kutta method : 2nd ed Tech Report
January 1976 -
January 1976
-
Multipoint multistep Runge-Kutta methods, 1; on a class of two-step methods for parabolic equations Tech Report
January 1976 -
January 1976
-
January 1976
-
January 1976
-
January 1976
-
January 1976
-
Handleiding voor hierarchische clusteranalyse Tech Report
January 1976 -
January 1976
-
January 1976
-
January 1976
-
January 1976
-
Asymptotic expansions for the power of distributionfree tests in the two-sample problem : (prepublication) Tech Report
January 1976 -
January 1976
-
January 1976
-
Edgeworth expansions for linear combinations of order statistics with smooth weight functions : (preprint) Tech Report
January 1976 -
Tests and confidence intervals for the difference and ratio of two probabilities : (prepublication) Tech Report
January 1976 -
January 1976
-
January 1976
-
January 1976
-
January 1976
-
Overzicht van een aantal begrippen en stellingen uit de functionaalanalyse en de distributietheorie Tech Report
January 1976