From logic to theoretical computer science - An update

[1] AGAFONOV VN, 1975, LECT NOTES, P146

[2] BARZDIN JM, 1965, PROBL KIBERN, V15, P245

[3] Beigel R., 1992, Computational Complexity, V2, P1, DOI 10.1007/BF01276436

[4] BUCHI JR, 1962, Z MATH LOGIK GRUNDLA

[5] BURKS A, 1953, P IRE, V41

[6] Church A, 1957, SUMMARIES SUMMER I S, VI, P3, DOI DOI 10.2307/2271310

[7] CHURCH A, 1963, P INT C MATH 1962 I, P23, DOI DOI 10.2307/2270398

[8] CHURH A, 1959, ADV THEORY LOGICAL D, P1

[9] DEKHTYAR MI, 1969, DOKL AKAD NAUK SSSR+, V189, P748

[10] Engelfriet J., 1997, Handbook Of Graph Grammars And Computing By Graph Transformation, V1, P1, DOI [DOI 10.1142/9789812384720_, 10.1142/9789812384720_0001, DOI 10.1142/9789812384720_0001]

[1] AGAFONOV VN, 1975, LECT NOTES, P146

[2] BARZDIN JM, 1965, PROBL KIBERN, V15, P245

[3] Beigel R., 1992, Computational Complexity, V2, P1, DOI 10.1007/BF01276436

[4] BUCHI JR, 1962, Z MATH LOGIK GRUNDLA

[5] BURKS A, 1953, P IRE, V41

[6] Church A, 1957, SUMMARIES SUMMER I S, VI, P3, DOI DOI 10.2307/2271310

[7] CHURCH A, 1963, P INT C MATH 1962 I, P23, DOI DOI 10.2307/2270398

[8] CHURH A, 1959, ADV THEORY LOGICAL D, P1

[9] DEKHTYAR MI, 1969, DOKL AKAD NAUK SSSR+, V189, P748

[10] Engelfriet J., 1997, Handbook Of Graph Grammars And Computing By Graph Transformation, V1, P1, DOI [DOI 10.1142/9789812384720_, 10.1142/9789812384720_0001, DOI 10.1142/9789812384720_0001]