A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems
Egon Börger · Mathematical logic quarterly · 1979
Reviews in MR 80f: 03045, ZBL 429 # 03016. Preprint in Schriften zur Informatik und Angewandten Mathematik. Hrg. R. Kaerkes, J. Merkwitz, W. Oberschelp, RWTH Aachen, Bericht Nr. 30, Juli 1976, pp. 61.