171
click to vote
RTA
15 years 8 months ago
1995 Springer 
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
170
click to vote
TLCA
15 years 8 months ago
1995 Springer 
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
168
click to vote
FOCS
15 years 8 months ago
1995 IEEE 
We consider the following maximum disjoint paths problem (mdpp). We are given a large network, and pairs of nodes that wish to communicate over paths through the network — the g...
|
Theoretical Computer Science