Approximate Decision Algorithms for Approximate Congruence

Stefan Schirra. Approximate Decision Algorithms for Approximate Congruence. Inf. Process. Lett., 43(1):29-34, 1992.

Abstract

Abstract is missing.