Publications from 2020
-
January 1977
-
A general Markov decision method, 1: model and techniques Article
Advances in Applied Probability, 296-315.January 1977
-
A general Markov decision method, 2: applications Article
Advances in Applied Probability, 316-335.January 1977
-
Convergence of Newton-like methods for solving systems of nonlinear equations Article
Numerische Mathematik, 271-281.January 1977
-
A variational approach to singularly perturbed boundary value problems for ordinary and partial differential equations with turning points Article
SIAM Journal on Applied Mathematics, 32(3), 588-597.January 1977
-
Semantics and the foundations of program proving In Proceedings
January 1977
-
The intermediate language for pictures In Proceedings
January 1977
-
HIDACSYS: Computer Programs for Interactive Scanning Cytophotometry Article
Histochemistry, 54(4), 273-288.January 1977
-
Complexity of machine scheduling problems Article
Annals of Discrete Mathematics, 343-362.January 1977
-
January 1977
-
January 1977
-
January 1977 -
January 1977 -
January 1977 -
January 1977 -
The translation of the elements of Euclid from the Arabic into Latin by Hermann of Carinthia(?) Book
January 1977 -
January 1977 -
January 1977 -
January 1977 -
January 1977 -
January 1977 -
January 1977 -
January 1977
-
January 1977
-
January 1977
-
January 1977
-
January 1977
-
January 1977
-
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