References
Smullyan, R. M.: Theory of formal systems. Ann. of Math. Studies47, Princeton University Press, Princeton, N.J., 1961.
Trahtenbrot, B.A.: On recursive inseparability, Doklady Akademii Nauk SSSR88, 953–956 (1953).
Wang, H.: Dominoes and the AEA case of the decision problem. In: Proceedings of the symposium on Math. Theory of Automata; Politechnic Institute of Brooklyn, New York 1962.
Rights and permissions
About this article
Cite this article
Gurevich, Y. Semi-conservative reduction. Arch math Logik 18, 23–25 (1977). https://doi.org/10.1007/BF02007254
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02007254