Publications from 2013
-
January 1992
-
Incidence and lattice calculus with applications to stochastic geometry and image analysis Tech Report
January 1992 -
January 1992
-
Transition systems and dynamic semantics Tech Report
January 1992 -
January 1992
-
Specification of Manifold : version 1.0 Tech Report
January 1992 -
A comparison of OBJ3 and ASF+SDF Tech Report
January 1992 -
Associative matching for linear terms Tech Report
January 1992 -
January 1992
-
Factorizations of $ a^n pm 1,13 leq a < 100 $ Tech Report
January 1992 -
January 1992
-
Turning SOS rules into equations Tech Report
January 1992 -
Comparative transition system semantics Tech Report
January 1992 -
Closed $G^ 1$-continuous cubic Bézier surfaces Tech Report
January 1992 -
A predicate transformer to unification Tech Report
January 1992 -
Faster Phong shading Tech Report
January 1992 -
An architecture for interactive raster graphics Tech Report
January 1992 -
Origin tracking Tech Report
January 1992 -
January 1992
-
A brief survey of zero-knowledge proofs Tech Report
January 1992 -
January 1992
-
Dynamic modal predicate logic Tech Report
January 1992 -
January 1992
-
January 1992
-
Divisibility properties of integers x and k satisfying $1^ k + 2^ k + ... + (x-1)^ k = x^ k$ Tech Report
January 1992 -
January 1992
-
Complex functions in queueing theory Tech Report
January 1992 -
January 1992
-
January 1992
-
January 1992
-
January 1992
-
January 1992
-
January 1992
-
Applications of cut polyhedra Tech Report
January 1992 -
January 1992
-
Tuning of Gaussian stochastic control systems Tech Report
January 1992 -
On some results by Fuhrmann on Hankel operators Tech Report
January 1992 -
January 1992
-
January 1992
-
January 1992
-
January 1992
-
January 1992
-
January 1992
-
On the occur-check free Prolog programs Tech Report
January 1992 -
Fast parallel string prefix-matching Tech Report
January 1992 -
Hashing and rehashing in emulated shared memory Tech Report
January 1992 -
January 1992
-
January 1992
-
January 1992
-
January 1992
-
Integral solution to systems $ Ax leq b $ Tech Report
January 1992 -
January 1992
-
Stochastic bounds for a polling system Tech Report
January 1992 -
January 1992
-
The silent step Tech Report
January 1992 -
January 1992
-
January 1992
-
January 1992
-
A new definition of SLDNF-resolution Tech Report
January 1992 -
January 1992
-
January 1992
-
January 1992
-
January 1992
-
On update-last schemes Tech Report
January 1992 -
January 1992
-
Efficient comparison based string matching Tech Report
January 1992 -
January 1992
-
January 1992
-
MOORKOP: an adaptive grid code for initial-boundary value problems in two space dimensions Tech Report
January 1992 -
January 1992
-
January 1992
-
Fourier calculus on evolutionary trees Tech Report
January 1992 -
January 1992
-
January 1992
-
Optimization of fixed time polling schemes Tech Report
January 1992 -
Tandem queues with deterministic service times Tech Report
January 1992 -
January 1992
-
On semisimple cocommutative bialgebras Tech Report
January 1992 -
'Hilbert 90' for polynomial matrices Tech Report
January 1992 -
January 1992
-
January 1992
-
January 1992
-
January 1992
-
Graphics for ABC Tech Report
January 1992 -
January 1992
-
The Views applications environment Tech Report
January 1992 -
January 1992
-
January 1992
-
Graphics in the Views system Tech Report
January 1992 -
January 1992
-
January 1992
-
Multimedia in Views Tech Report
January 1992 -
Editing tree structures Tech Report
January 1992 -
The MUSA design methodology Tech Report
January 1992 -
January 1992
-
January 1992
-
January 1992
-
January 1992
-
January 1992
-
January 1992