References
A. S. Kahr, “Improved reductions of the entscheidungsproblem to subclasses of ∀∃∀ formulas,” Proc. Sympos. Math. Theory Automata, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N. Y., pp. 57–70, 1963.
Hao Wang, “Dominoes and the ∀∃∀ case of the decision problem,” Proc. Sympos. Math. Theory Automata, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N. Y., pp. 23–55, 1963.
A. S. Kahr, E. F. Moore, and Hao Wang, “Entscheidungsproblem reduced to the ∀∃∀ case,” Proc. Nat. Acad. Sci. U. S. A., vol. 48, pp. 365–377, 1962.
V. F. Kostyrko, “On the solvability problem in the restricted predicate calculus,” Author's abstract of candidate's dissertation, Kiev, 1965.
V. F. Kostyrko, “The reduction class ∀∃n∀,” collection: Algebra and Logic: A Seminar [in Russian], Novosibirsk, vol. 3, no. 5, 1964.
Author information
Authors and Affiliations
Additional information
Kibernetika, Vol. 2, No. 1, pp. 17–22, 1966
Rights and permissions
About this article
Cite this article
Kostyrko, V.F. The ∀∃∀ reduction class. Cybern Syst Anal 2, 15–19 (1966). https://doi.org/10.1007/BF01072249
Issue Date:
DOI: https://doi.org/10.1007/BF01072249