Minimum Covers in Relational Database Model.
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems.
Improved Bounds on the Problem of Time-Space Trade-Off in the Pebble Game.
Database Location in Computer Networks.
Variations on the Common Subexpression Problem.
A Note on Fuzzy Deduction.
Superdeterministic PDAs: A Subcase with a Decidable Inclusion problem.
Fast Probabilistic Algorithms for Verification of Polynomial Identities.
Solving Two-Commodity Transportation Problems with Coupling Constraints.
Equivalences Among Relational Expressions with the Union and Difference Operators.
Computations of Bilinear Forms over Finite Fields.
An Algorithm to Enumerate All Cutsets of a Graph in Linear Time per Cutset.
Two-Dimensional Voronoi Diagrams in the L
Operational and Semantic Equivalence Between Recursive Programs.
Parallel Prefix Computation.
The Sequence Equivalence Problem is Decidable for 0S Systems.