Comparing Algebraic Structures up to Algorithmic Equivalence

Denis J. Kfoury. Comparing Algebraic Structures up to Algorithmic Equivalence. In ICALP. pages 253-263, 1972.

Abstract

Abstract is missing.