A Laplace transform algorithm for the volume of a convex polytope.
Managing periodically updated data in relational databases: a stochastic modeling approach.
Register-machine based processes.
Deciding first-order properties of locally tree-decomposable structures.
Monotonic reductions, representative equivalence, and compilation of intractable problems.