Now showing items 1-1 of 1

    • Ordered Directness and Efficiently Computing Closures 

      Rand, Robert (Yeshiva College, 2011-05)
      Implications of the form A→B (read “A implies B”) feature prominently in multiple fields of mathematics and computers science. In mathematical terms we may define A→B as a mapping from one set to another. In Database ...