182
Voted
ACM
15 years 8 months ago
1995 
We study properties of rough sets, that is, approximations to sets of records in a database or, more formally, to subsets of the universe of an information system. A rough set is a...
180
Voted
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 ...
180
Voted
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 ...
|
Theoretical Computer Science