We present two symmetric function operators Hqt 3 and Hqt 4 that have the property Hqt mH(2a1b)(X; q, t) = H(m2a1b)(X; q, t). These operators are generalizations of the analogous ...
We introduce an algorithm for MinA extraction in EL based on bidirectional reachability. We obtain a signiļ¬cant reduction in the size of modules extracted at almost no additional...
In order to support knowledge workers throughout their task of searching, locating and manipulating information, a system that provides information suitable for a particular userā...