Generalized Program Schemas
The aim of this study is three-fold: (1) to study the class of computable functionals on uninterpreted domains, and the machines (or program schemes) on which such functionals can be computed, (2) to unify the notion of the interpretation for a program sc
- PDF / 49,085,916 Bytes
- 622 Pages / 439.37 x 666.142 pts Page_size
- 70 Downloads / 198 Views
1: GI-Gesellschaft fUr Informatik e.V. 3. Jahrestagung, Hamburg, 8.-10. Oktober 1973. Herausgegeben im Auftrag der Gesellschaft fUr Informatik von W. Brauer. XI, 508 Seiten. 1973. DM 32,-
Vol. 2: GI-G"esellschaft fUr Informatik e. V. 1. Fachtagung Ober Automatentheorie und FormaleSprachen, Bonn, 9.-12. Juli 1973. Herausgegeben im Auftrag der Gesellschaft fUr .Informatik von K.-H. Bohling und K. Indermark. VII, 322 Seiten. 1973. DM 26,Vol. 3: 5th Conference on Optimization Techniques, Part I. (Series: I.F.l.P. TC7 Optimization Conferences.) Edited by R. Conti and A. Ruberti. XIII, 565 pages. 1973. DM 38,Vol.
4: 5th Conference on Optimization Techniques, Part II. (Series: I. F.I. P. TC7 Optimization Conferences.) Edited by R. Conti and A. Ruberti. XIII, 389 pages. 1973. DM 28,-
Vol. 5: International Symposium on Theoretical Programming. Edited by A. Ershov and V. A. Nepomniaschy. VI, 407 pages. 1974. DM 30,Vol.
6: B. T. Smith, J. M. Boyle, B. S. Garbow, Y.lkebe, V. C. Klema, and C. B. Moler, Matrix Eigensystem Routines - EISPACK Guide. X, 387 pages. 197 4. DM 28,-
Vol.
7: 3. Fachtagung Ober Programmiersprachen, Kiel, 5.-7. Marz 1974. Herausgegeben von B. Schlender und W. Frielinghaus. VI, 225 Seiten.1974. DM 20,-
Vol. 8: GI-NTG Fachtagung Ober Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22. Marz 1974. Herausgegeben im Auftrag der GI und der NTG von H.-a. Leilich. VI, 340 Seiten. 1974. DM 26,Vol. 9: GI-BIFOA Internationale Fachtagung: Informationszentren in Wirtschaft und Verwaltung. Koln, 17.118. Sept. 1973. Herausgegeben im Auftrag der GI und dem BIFOA von P. Schmitz. VI, 259 Seiten. 1974. DM 22,Vol. 10: Computing Methods in Applied Sciences and Engineering, Part 1. International Symposium, Versailles, December 17-21, 1973. Edited by R. Glowinski and J. L. Lions. X, 497 pages. 1974. DM 34,Vol. 11: Computing Methods in Applied Sciences and Engineering, Part 2. International Symposium, Versailles, December 17-21, 1973. Edited by R. Glowinski and J. L. Lions. X, 434 pages. 1974. DM 30,Vol. 12: GFK-GI-GMR Fachtagung Prozessrechner 1974. Karlsruhe, 10.-11. Juni 1974. Herausgegeben von G. KrOger und R. Friehmelt. XI, 620 Seiten. 1974. DM 42,Vol. 13: Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970. (GI-GeselischaftfOr Informatik e. V.) Herausgegeben von W. Handler und P. P. Spies. VII, 333 Seiten. 1974. DM 30,Vol. 14: Automata, Languages and Programming - 2nd Colloquium, University of SaarbrOcken, July 29 - August 2, 1974. Edited by J. Loeckx. VIII, 611 pages. 1974. DM 48,-
Lecture Notes in
Computer Science Edited by G. Goos and J. Hartmanis
14 Automata, Languages and Programming 2nd Colloquium, University of SaarbrUcken July 29-August 2, 1974
Edited by Jacques Loeckx
Springer-Verlag Berlin Heidelberg GmbH 1974
Editorial Board: P. Brinch Hansen . D. Gries C. Moler' G. SeegmUlier . N. Wirth
Prof. Dr.-Ing. J. Loeckx Fachbereich Angewandte Mathematik und Informatik der Universitat des Saarlandes 66 SaarbrUcken/BRD
AMS Subject Classifications (1970); 68-02, 68 A 05, 68 A 10, 68 A 20
