Publications from 2024
-
January 1991
-
Idempotents Tech Report
January 1991 -
January 1991
-
Induced circuits in planar graphs Tech Report
January 1991 -
January 1991
-
January 1991
-
Riccati and soliton equations Tech Report
January 1991 -
January 1991
-
January 1991
-
January 1991
-
January 1991
-
Right angle free subsets in the plane Tech Report
January 1991 -
January 1991
-
A pointwise criterion for controller robustness Tech Report
January 1991 -
January 1991
-
January 1991
-
Completeness in real time process algebra Tech Report
January 1991 -
Proving termination of general Prolog programs Tech Report
January 1991 -
A proof theory for the language POOL Tech Report
January 1991 -
A proof theory for a sequential version of POOL Tech Report
January 1991 -
A proof theory for process creation Tech Report
January 1991 -
January 1991
-
January 1991
-
Facets of database triggers Tech Report
January 1991 -
Real-time quadratic shading Tech Report
January 1991 -
Lazy and incremental program generation Tech Report
January 1991 -
Linear approximation of shortest superstrings Tech Report
January 1991 -
January 1991
-
January 1991
-
January 1991
-
Combinatorics and Kolmogorov complexity Tech Report
January 1991 -
The GKS input model in Manifold Tech Report
January 1991 -
January 1991
-
January 1991
-
Term rewriting analysis in process algebra Tech Report
January 1991 -
Real space process algebra Tech Report
January 1991 -
Loop checking in partial deduction Tech Report
January 1991 -
Rendez-vous with metric semantics Tech Report
January 1991 -
CCS for OO and LP Tech Report
January 1991 -
January 1991
-
An improved accuracy version of the mixed finite element method for a second order elliptic equation Tech Report
January 1991 -
Application of a moving-grid method to a class of 1D brine transport problems in porous media Tech Report
January 1991 -
January 1991
-
Limit theorems for functionals of convex hulls Tech Report
January 1991 -
January 1991
-
January 1991
-
An overview of Manifold and its implementation Tech Report
January 1991 -
Hausdorff metric for capacities Tech Report
January 1991 -
The state operator in real time process algebra Tech Report
January 1991 -
January 1991
-
January 1991
-
January 1991
-
Open problems in rewriting Tech Report
January 1991 -
January 1991
-
The dynamics of description Tech Report
January 1991 -
Quantification and partiality Tech Report
January 1991 -
A sound and complete calculus for update logic Tech Report
January 1991 -
January 1991
-
Calculate categorically ! Tech Report
January 1991 -
Datatype laws without signatures Tech Report
January 1991 -
Normal forms in real time process algebra Tech Report
January 1991 -
January 1991
-
January 1991
-
January 1991
-
Proof theory for $ mu $ -CRL Tech Report
January 1991 -
Texture synthesis Tech Report
January 1991 -
January 1991
-
January 1991
-
Discretization of morphological operators Tech Report
January 1991 -
Parallel step-by-step methods Tech Report
January 1991 -
January 1991
-
January 1991
-
January 1991
-
Abstraction in real time process algebra Tech Report
January 1991 -
January 1991
-
Report on a window-on-science trip Tech Report
January 1991 -
January 1991
-
January 1991
-
January 1991
-
On a characterization of the exponential distribution based on a type 2 right cesored sample Tech Report
January 1991 -
Solving large dense systems of linear equations on systems with virtual memory and with cache Tech Report
January 1991 -
January 1991
-
January 1991
-
January 1991
-
A rewrite approach to polynomial ideal theory Tech Report
January 1991 -
January 1991
-
Multigrid for semiconductor device simulation: cell-centered of vertex-centered multigrid? Tech Report
January 1991 -
A metric for line segments Tech Report
January 1991 -
Non-interfering dipaths in planar digraphs Tech Report
January 1991 -
January 1991
-
Software reliability and the bootstrap Tech Report
January 1991 -
January 1991
-
January 1991
-
January 1991
-
January 1991
-
January 1991
-
A simplified proof of Toyama's theorem Tech Report
January 1991 -
January 1991
-
January 1991
-
Geometric constraint satisfaction Tech Report
January 1991