Publications from 2024
-
Studies in pure PROLOG : termination Tech Report
January 1990 -
January 1990
-
Uniform Airy type expansions of integrals Tech Report
January 1990 -
Mathematical morphology on the sphere Tech Report
January 1990 -
January 1990
-
January 1990
-
Morphological filtering and iteration Tech Report
January 1990 -
January 1990
-
January 1990
-
Bootstrapping U-quantiles Tech Report
January 1990 -
January 1990
-
January 1990
-
A fully abstract model for concurrent nondeterministic processes based on posets with non-actions Tech Report
January 1990 -
GSE, a generic syntax-directed editor Tech Report
January 1990 -
January 1990
-
January 1990
-
At last an ISO C binding of GKS Tech Report
January 1990 -
The linear time - branching time spectrum Tech Report
January 1990 -
SmartCash: a practical electronic payment system Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
Logging and recovery in PRISMA Tech Report
January 1990 -
EULER: an adaptive Euler code Tech Report
January 1990 -
January 1990
-
Handling hypergeometric series in Maple Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
January 1990
-
Graph morphology Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
The basic reproduction ratio for sexually transmitted diseases, part I: theoretical considerations Tech Report
January 1990 -
Introduction to program verification Tech Report
January 1990 -
Quantifiers Tech Report
January 1990 -
Determiners Tech Report
January 1990 -
January 1990
-
An infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems Tech Report
January 1990 -
January 1990
-
January 1990
-
Real time process algebra Tech Report
January 1990 -
January 1990
-
Formal semantics Tech Report
January 1990 -
January 1990
-
Multiple worlds in an intelligent CAD system Tech Report
January 1990 -
Modeling design processes Tech Report
January 1990 -
A component class for design objects Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
January 1990
-
Combinatorics in operations research Tech Report
January 1990 -
Gradient projection for nonparametric maximum likelihood estimation with interval censored data Tech Report
January 1990 -
January 1990
-
Realization and partial fractions Tech Report
January 1990 -
Near-perfect matrices Tech Report
January 1990 -
January 1990
-
January 1990
-
Examples in MANIFOLD Tech Report
January 1990 -
January 1990
-
NUMVEC FORTRAN library manual : chapter: partial differential equations : routine: ICCG3D Tech Report
January 1990 -
A note on the grid movement induced by MFE Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
January 1990
-
On iterative estimators Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
Two nonparametric estimators of the survival function of bivariate right censored observations Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
Discourse representation theory Tech Report
January 1990 -
Four domains for concurrency Tech Report
January 1990 -
Representation and implementation of design knowledge for intlligent CAD : theoretical aspects Tech Report
January 1990 -
Representation and implementation of design knowledge for intlligent CAD : implementational aspects Tech Report
January 1990 -
January 1990
-
January 1990
-
Loop checking and negation Tech Report
January 1990 -
Block-Cholesky for parallel processing Tech Report
January 1990 -
January 1990
-
Central limit theorem for non-homogeneous processes with independent increments and semimarkov switchings Tech Report
January 1990 -
A local limit theorem for L-statistics Tech Report
January 1990 -
January 1990
-
January 1990
-
Term rewriting systems Tech Report
January 1990 -
January 1990
-
The syntax and semantics of $ mu $ CRL Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
Preface Article
January 1990 -
January 1990
-
January 1990
-
January 1990
-
January 1990