214
Voted
ACM
15 years 7 months ago
1995  164
click to vote
FOCS
15 years 7 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...
163
click to vote
TLCA
15 years 7 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 ...
162
Voted
RTA
15 years 7 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 ...
|
Theoretical Computer Science