Browsing by Author "Shen, Stewart N.T."

Now showing 1 - 2 of 2
  • Thumbnail Image
    Definability of Boolean Function Over Many-value Boolean Algebra
    Kang, Andy N. C.; Shen, Stewart N.T. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974)
    In this paper, the definability of functions over B_s is first briefly discussed. We then give necessary and sufficient conditions on the definable functions over B_2, boolean algebra of four values. An efficient algorithm is also presented for finding the defining boolean expressions for the definable functions over B_2, The result is then extended to the functions over B_s.
  • Thumbnail Image
    Root-heavy Directory Tree on Direct Access Storage Devices
    Shen, Stewart N.T. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974)
    No abstract available.