Publications from 2024
-
Semantics of the infinistic rules of proof Article
Journal of Symbolic Logic, 121-138.January 1976 -
Linking systems, matroids, and bipartite graphs Article
Proceedings fifth British Combinatorial Conference (C.St.J.A. Nash-Williams and J. Sheehan, eds.), 541-544.January 1976 -
Cyclische codes Book Chapter
January 1976 -
January 1976
-
Three research announcements on formal A-modules Tech Report
January 1976 -
Moduli and canonical forms for linear dynamical systems III : the algebraic-geometric case Tech Report
January 1976 -
January 1976
-
A universal isomorphism of p-typical formal groups and operations in Brown-Peterson cohomology Tech Report
January 1976 -
On invariants, canonical forms and moduli for linear, constant, finite dimensional, dynamical systems Tech Report
January 1976 -
On invariants, canonical forms and moduli for linear, constant, finite dimensional, dynamical systems In Proceedings
January 1976 -
Stabilized Runge-Kutta methods for second order differential equations without first derivatives Tech Report
December 1975 -
Two efficient algorithms with guaranteed convergence for finding a zero of a function Article
ACM Transactions on Mathematical Software, 1(4), 330-345.December 1975 -
On the completeness of the inductive assertion method Article
Journal of Computer and System Sciences, 11(3), 323-357.December 1975 -
Multiple feedback at a single server station Tech Report
October 1975 -
An extension of unification to substitutions with an application to automatic theorem proving In Proceedings
September 1975 -
August 1975
-
August 1975
-
On a conjecture of Iglehart Article
Management Science, 21(11), 1342-1345.July 1975 -
The asymptotic behaviour of the minimal total expected cost for the denumerable state Markov decision model Article
Journal of Applied Probability, 12(2), 298-305.June 1975 -
The membership question for ETOL-languages is polynomially complete Article
Information Processing Letters, 3(5), 138-143.May 1975 -
A sequence of nested cubature rules Tech Report
May 1975 -
Some applications of stabilized Runge-Kutta methods for hyperbolic differential equations Tech Report
May 1975 -
May 1975
-
The numerical solution of a singular perturbation problem in the domain exterior of a circle Tech Report
May 1975 -
Least fixed points revisited In Proceedings
March 1975 -
March 1975
-
Generalized linear multistep methods, 1 : Development of algorithms with zero-parasitic roots Tech Report
March 1975 -
March 1975
-
On operations in Brown-Peterson cohomology Tech Report
January 1975 -
On almost fixed point theory Tech Report
January 1975 -
Local class field theory is easy Tech Report
January 1975 -
A universal formal group and complex cobordism Article
Bulletin of the American Mathematical Society, 81(5), 930-933.January 1975 -
Local class field theory is easy Article
Advances in Mathematics, 18(2), 148-181.January 1975 -
Reizen op een graaf Tech Report
January 1975 -
Kortste-padproblemen Tech Report
January 1975 -
Network flow theory Tech Report
January 1975 -
A note on the optimality of a switch-over policy for the M/G/1 queue with variable service rate Tech Report
January 1975 -
January 1975
-
January 1975
-
January 1975
-
January 1975
-
A graph-defining language : (2nd rev. ed) Tech Report
January 1975 -
January 1975
-
Complexity of machine scheduling problems Tech Report
January 1975 -
January 1975
-
January 1975
-
January 1975
-
January 1975
-
Regenerative markov decision models Tech Report
January 1975 -
January 1975
-
January 1975
-
Minimizing maximum lateness on one machine : Computational experience and some applications Tech Report
January 1975 -
A probabilistic approach to renewal theory Tech Report
January 1975 -
January 1975
-
January 1975
-
January 1975
-
January 1975
-
Syllabus cursus Algol 68 : (herz. uitg) Tech Report
January 1975 -
PDP program documentation series, 1; PDP 8 Tech Report
January 1975 -
Infal, an informatics library Tech Report
January 1975 -
January 1975
-
January 1975
-
January 1975
-
The Utor, a program for the connection of a number of peripherals to a general purpose computer Tech Report
January 1975 -
January 1975
-
Mini Algol 68 user's guide Tech Report
January 1975 -
January 1975
-
January 1975
-
Design of an interactive graphics system Tech Report
January 1975 -
A note on the recursive enumerability of some classes of recursively enumerable languages : (prepublication) Tech Report
January 1975 -
January 1975
-
January 1975
-
January 1975
-
January 1975
-
The halting problem for linear Turing assemblers Tech Report
January 1975 -
Stochastic models of storage allocation systems Tech Report
January 1975 -
Mode and meaning : (pepublication) Tech Report
January 1975 -
January 1975
-
January 1975
-
January 1975
-
Context sensitive table Lindenmayer languages and a relation to the LBA problem : (prepublication) Tech Report
January 1975 -
Termination of nondeterministic programs Tech Report
January 1975 -
Textual management in an Algol 68 compiler Tech Report
January 1975 -
Repairing the parenthesis skeleton of Algol 68 programs: proof of correctness : (prepublication) Tech Report
January 1975 -
The MC Algol 68 test set Tech Report
January 1975 -
January 1975
-
January 1975
-
January 1975
-
Nonlinear least squares estimation Tech Report
January 1975 -
January 1975
-
On the representation of the positive integers as the sum of two unitary abundant numbers Tech Report
January 1975 -
An analysis of the convergence of newton-like methods for solving systems of nonlinear equations Tech Report
January 1975 -
January 1975
-
January 1975
-
Galerkin's method and Lobatto points Tech Report
January 1975 -
January 1975
-
Metingen aan betonelementen Tech Report
January 1975 -
January 1975
-
January 1975
-
January 1975