Contributions to the reduction theory of the decision problem

László Kalmár

doi:10.1007/bf02113896

Contributions to the reduction theory of the decision problem

Acta Mathematica Academiae Scientiarum Hungaricae ◽

10.1007/bf02113896 ◽

1951 ◽

Vol 2 (1-2) ◽

pp. 19-38

Author(s):

László Kalmár

Keyword(s):

Decision Problem ◽

Reduction Theory

Download Full-text

János Surányi. Contributions to the reduction theory of the decision problem. Second paper. Three universal, one existential quantifiers. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 1 (1950), pp. 261–271.

Journal of Symbolic Logic ◽

10.1017/s0022481200097450 ◽

1953 ◽

Vol 18 (3) ◽

pp. 264-264

Author(s):

Alonzo Church

Keyword(s):

Decision Problem ◽

Reduction Theory

Download Full-text

László Kalmár. Contributions to the reduction theory of the decision problem. Third paper. Prefix (x1)(Ex2) … (Exn−2)(xn−1)(xn), a single binary predicate. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2(1951), pp. 19–38.

Journal of Symbolic Logic ◽

10.1017/s0022481200097462 ◽

1953 ◽

Vol 18 (3) ◽

pp. 264-264

Author(s):

Alonzo Church

Keyword(s):

Decision Problem ◽

Reduction Theory ◽

Binary Predicate

Download Full-text

Contributions to the reduction theory of the decision problem

Acta Mathematica Academiae Scientiarum Hungaricae ◽

10.1007/bf02020722 ◽

1951 ◽

Vol 2 (3-4) ◽

pp. 125-142 ◽

Cited By ~ 5

Author(s):

László Kalmár

Keyword(s):

Decision Problem ◽

Reduction Theory

Download Full-text

Contributions to the reduction theory of the decision problem

Acta Mathematica Academiae Scientiarum Hungaricae ◽

10.1007/bf02021316 ◽

1950 ◽

Vol 1 (2-4) ◽

pp. 261-271 ◽

Cited By ~ 5

Author(s):

János Surányi

Keyword(s):

Decision Problem ◽

Reduction Theory

Download Full-text

Contributions to the reduction theory of the decision problem

Acta Mathematica Academiae Scientiarum Hungaricae ◽

10.1007/bf02022553 ◽

1950 ◽

Vol 1 (1) ◽

pp. 64-73 ◽

Cited By ~ 2

Author(s):

László Kalmár

Keyword(s):

Decision Problem ◽

Reduction Theory

Download Full-text

Contributions to the reduction theory of the decision problem

Acta Mathematica Academiae Scientiarum Hungaricae ◽

10.1007/bf02020736 ◽

1951 ◽

Vol 2 (3-4) ◽

pp. 325-335 ◽

Cited By ~ 1

Author(s):

János Surányl

Keyword(s):

Decision Problem ◽

Reduction Theory

Download Full-text

Laszló Kalmár. Contributions to the reduction theory of the decision problem. Fourth paper. Reduction to the case of a finite set of individuals. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2 (1951), pp. 125–142.

Journal of Symbolic Logic ◽

10.1017/s0022481200097474 ◽

1953 ◽

Vol 18 (3) ◽

pp. 264-265

Author(s):

Alonzo Church

Keyword(s):

Decision Problem ◽

Reduction Theory ◽

Finite Set

Download Full-text

Lászlô Kalmár. Contributions to the reduction theory of the decision problem. First paper. Prefix (X1)(x2)(Ex3) … (Exn−1) (xn), a single binary predicate. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae (Budapest), vol. 1 no. 1 (1950), pp. 64–73.

Journal of Symbolic Logic ◽

10.2307/2267489 ◽

1952 ◽

Vol 17 (1) ◽

pp. 73-73

Author(s):

Alonzo Church

Keyword(s):

Decision Problem ◽

Reduction Theory ◽

Binary Predicate

Download Full-text

Janos Surányi. Contributions to the reduction theory of the decision problem. Fifth paper. Ackermann prefix with three universal quantifiers. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2 (1951), pp. 325–335.

Journal of Symbolic Logic ◽

10.2307/2267423 ◽

1953 ◽

Vol 18 (3) ◽

pp. 265-265

Author(s):

Alonzo Church

Keyword(s):

Decision Problem ◽

Reduction Theory ◽

Universal Quantifiers

Download Full-text

Reduction Theory in Extrapolation Problems

Journal of Automation and Information Sciences ◽

10.1615/jautomatinfscien.v30.i2-3.10 ◽

1998 ◽

Vol 30 (2-3) ◽

pp. 1-10

Author(s):

V. I. Vasil'ev

Keyword(s):

Reduction Theory

Download Full-text