Börger, E. (ed.); Hasenjaeger, G. (ed.); Rödding, D. (ed.) Logic and machines: decision problems and complexity. Proceedings of the Symposium ”Rekursive Kombinatorik” held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen. (German) Zbl 0538.00005 Lecture Notes in Computer Science, 171. Berlin etc.: Springer Verlag. VI, 456 p. DM 52.oo; $ 20.40 (1984). The articles of this volume will be reviewed individually under the abbreviation ”Logic and machines: decision problems and complexity, Proc. Symp., Münster/Ger. 1983, Lect. Notes Comput. Sci. 171”. Cited in 28 Reviews MSC: 00Bxx Conference proceedings and collections of articles 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations 94-06 Proceedings, conferences, collections, etc. pertaining to information and communication theory Keywords:Logic; Machines; Decision; Complexity; Proceedings; Symposium; Münster/Germany PDF BibTeX XML OpenURL