Lover bounds by Galois theory
Journées algorithmiques, Astérisque, no. 38-39 (1976), pp. 45-52. 
@incollection{AST_1976__38-39__45_0,
     author = {Engeler, Erwin},
     title = {Lover bounds by {Galois} theory},
     booktitle = {Journ\'ees algorithmiques},
     series = {Ast\'erisque},
     pages = {45--52},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {38-39},
     year = {1976},
     mrnumber = {449010},
     zbl = {0355.02027},
     language = {en},
     url = {http://www.numdam.org/item/AST_1976__38-39__45_0/}
}
TY  - CHAP
AU  - Engeler, Erwin
TI  - Lover bounds by Galois theory
BT  - Journées algorithmiques
AU  - Collectif
T3  - Astérisque
PY  - 1976
SP  - 45
EP  - 52
IS  - 38-39
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/AST_1976__38-39__45_0/
LA  - en
ID  - AST_1976__38-39__45_0
ER  - 
%0 Book Section
%A Engeler, Erwin
%T Lover bounds by Galois theory
%B Journées algorithmiques
%A Collectif
%S Astérisque
%D 1976
%P 45-52
%N 38-39
%I Société mathématique de France
%U http://www.numdam.org/item/AST_1976__38-39__45_0/
%G en
%F AST_1976__38-39__45_0
Engeler, Erwin. Lover bounds by Galois theory, dans Journées algorithmiques, Astérisque, no. 38-39 (1976), pp. 45-52. http://www.numdam.org/item/AST_1976__38-39__45_0/

[1] Engeler E. : On the Solvability of Algorithmic Problems, in : H.E Rose and J.C. Shepherdson (eds) Logic Colloquium 73, North-Holland Publ. Co, 1975, pp. 231-251. | MR | Zbl

[2] Engeler E. : Structural Relations between Programs and Problems, to appear as invited talk in : J. Hintikka (ed.) Proceedings of the 5th Intern. Congress of Logic, Methodology and Philosophy of Science. Preprint : Report N°15 of the Institut für Informatik, E.T.H., Oct. 1975. | Zbl