Now showing items 1-1 of 1

    • Efficiency of Equivalence Algorithms 

      Fischer, Michael J. (1972-04-01)
      This paper was first presented at the Symposium on Complexity of Computer Computations, IBM Thomas J. Watson Research Center, Yorktown Heights, New York, on March 22, 1972. The equivalence problem is to determine the ...