Publications from 2075
-
January 1980 -
January 1980 -
Powers and almost powers : (preprint) Tech Report
January 1980 -
January 1980 -
Two transitive minkowski planes : (preprint) Tech Report
January 1980 -
Polynomial values and almost powers Tech Report
January 1980 -
January 1980 -
January 1980 -
A super-balanced hypergraph has a nest point Tech Report
January 1980 -
January 1980 -
January 1980 -
January 1980 -
Dataflow computers : Colloquium hogere programmeertalen en computerarchitectuur, Amsterdam, 1980 Tech Report
January 1980
-
The decomposition of graphs into ladder graphs Tech Report
January 1980 -
A note on ***-regular graphs Tech Report
January 1980 -
Clines in the presence of asymmetric migration Tech Report
January 1980 -
January 1980 -
Preface Preface
January 1980 -
Semantics of unbounded nondeterminism In Proceedings
January 1980 -
Cursus informatica Report
January 1980
-
Censoring and Stochastic Integrals Article
Statistica Neerlandica, 34(2), 124-124.January 1980 -
January 1980
-
January 1980
-
On the stability of multistep formulas for Volterra integral equations of the second kind Article
Computing, 341-347.January 1980
-
An implementation of a class of stabilized explicit methods for the time integration of parabolic equations Article
ACM Transactions on Mathematical Software, 6(2), 188-205.January 1980
-
Relaxation oscillations of a van der pol equation with large critical forcing term Article
Quarterly of Applied Mathematics, 38(1), 9-16.January 1980
-
Optical Errors in Scanning Stage Absorbance Cytophotometry: Procedures for Correcting Apparent Integrated Absorbance Values for Distributional Glare and Diffraction Errors Article
Journal of Histochemistry and Cytochemistry, 28(5), 388-394.January 1980
-
January 1980
-
Generating all maximal independent sets; NP-hardness and polynomial-time algorithms Article
SIAM Journal on Computing, 558-565.January 1980
-
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980 -
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
On the structure of an adaptive multi-level algorithm Article
BIT : Numerical Mathematics, 289-301.January 1980
-
January 1980
-
January 1980
-
A proof system for communicating sequential processes Article
ACM Transactions on Programming Languages and Systems, 2(3), 359-386.January 1980
-
Completeness with finite systems of intermediate assertions for recursive program schemes Article
SIAM Journal on Computing, 665-671.January 1980
-
A mesh-parameter continuation method Tech Report
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
On families of linear systems. Degeneration phenomena In Proceedings
January 1980
-
January 1980
-
January 1980
-
On invariants and moduli for linear time-varying systems In Proceedings
January 1980
-
January 1980
-
January 1980
-
Twisted Lubin-Tate formal group laws, ramified Witt vectors and (ramified) Artin-Hasse exponentials Tech Report
January 1980
-
Twisted Lubin-Tate formal group laws, ramified Witt vectors and (ramified) Artin-Hasse exponentials Tech Report
January 1980
-
Twisted Lubin-Tate formal group laws, ramified Witt vectors and (ramified) Artin-Hasse exponentials Article
Transactions of the American Mathematical Society, 47-63.January 1980
-
Denumerable state semi-Markov decision processes with unbounded costs average cost criterion Article
Stochastic Processes and their Applications, 9(2), 223-235.November 1979
-
October 1979 -
ALGOL 68 transput Dissertation
October 1979 -
June 1979
-
May 1979
-
May 1979
-
April 1979
-
March 1979
-
February 1979 -
Constructing formal groups VIII : formal A-modules Article
Compositio Mathematica, 277-291.January 1979 -
Solution of two fractional packing problems of Lovasz Article
Discrete Mathematics, 177-184.January 1979 -
Acomparison of the Delsarte and Lovász bounds Article
IEEE Transactions on Information Theory, 425-429.January 1979 -
Median Graphs and Helly hypergraphs Article
Discrete Mathematics, 41-50.January 1979 -
Subbase characterizations of compact topological spaces Article
General Topology and Its Applications, 183-201.January 1979 -
Matroids and linking systems Article
Journal of Combinatorial Theory - Series B, 349-369.January 1979 -
Superextensions which are Hilbert cubes Article
Periodica Mathematica HungaricaJanuary 1979 -
January 1979 -
January 1979 -
January 1979 -
January 1979 -
January 1979 -
On stochastic dynamical systems : (preprint) Tech Report
January 1979 -
Characterization of optimal stationary strategies in undiscounted stochastic games : (preprint) Tech Report
January 1979