{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:32:11Z","timestamp":1725622331380},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540076193"},{"type":"electronic","value":"9783642663192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/978-3-642-66319-2_20","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T20:27:15Z","timestamp":1318969635000},"page":"203-234","source":"Crossref","is-referenced-by-count":1,"title":["Mathematical Theory of Serial Computers"],"prefix":"10.1007","author":[{"given":"Karel","family":"\u010cul\u00edk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Annual review in automatic programming I (ed.R.Goodman), Pergamon Press, New York-Oxford-London-Paris, 1960"},{"key":"20_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-65302-5","volume-title":"Modelltheorie","author":"G Kreisel","year":"1972","unstructured":"Kreisel, G. and J.-L. Krivine: Modelltheorie, Springer, BerlinHeidelberg-New York 1972"},{"key":"20_CR3","first-page":"268","volume-title":"Preliminary report of ACM-GAMM Committee on an International Algebraic Language, Annual review in automatic programming, vol. I","author":"AJ Perlis","year":"1960","unstructured":"Perlis, A.J. and K. Samelson: Preliminary report of ACM-GAMM Committee on an International Algebraic Language, Annual review in automatic programming, vol. I, Pergamon Press, New York-Oxford-London-Paris 1960, 268\u2013290"},{"key":"20_CR4","volume-title":"Princeton","author":"A Church","year":"1941","unstructured":"Church, A.: The Calculi of Lambda-Conversion, Princeton University Press, Princeton 1941"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I, Monatshefte f\u00fcr Mathematik und Physik 38 (1931), 173\u2013198","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"issue":"3","key":"20_CR6","first-page":"457","volume":"13","author":"K Cul\u00edk","year":"1972","unstructured":"Cul\u00edk, K.: Algorithmization of algebras and relational structures, Com. Math. Universitatis Carolinae 13, 3 (1972), 457\u2013477","journal-title":"Math. Universitatis Carolinae"},{"key":"20_CR7","first-page":"280","volume":"18","author":"K Culik","year":"1973","unstructured":"Culik, K.: Syntactical definitions of program and flow diagram, Aplikace matematiky 18 (1973), 280\u2013301","journal-title":"Aplikace matematiky"},{"key":"20_CR8","volume-title":"Collected Works V: Design of computers, Theory of Automata and Numerical Analysis","author":"JV Neumann","year":"1963","unstructured":"Neumann, J.V. Collected Works V: Design of computers, Theory of Automata and Numerical Analysis, Pergamon Press, Oxford-LondonNew York-Paris 1963"},{"key":"20_CR9","first-page":"683","volume-title":"A trilogy of errors in the history of computing, First USA-Japan Computer Conference Proceedings, AFIPS amp","author":"N Metropolis","year":"1972","unstructured":"Metropolis, N. and J. Worlton: A trilogy of errors in the history of computing, First USA-Japan Computer Conference Proceedings, AFIPS amp; IPSJ, Tokyo 1972, 683\u2013691"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/367236.367262","volume":"3","author":"P Naur","year":"1960","unstructured":"Naur, P. et.al.: Report on the algorithmic language ALGOL 60, Comm. ACM, vol. 3 (1960), 299\u2013314","journal-title":"ACM"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/366193.366201","volume":"6","author":"P Naur","year":"1963","unstructured":"Naur, P. et.al.: Revised report on the algorithmic language ALGOL 60, Comm. ACM, vol. 6 (1963), 1\u201317","journal-title":"ACM"},{"key":"20_CR12","volume-title":"ALGOL","author":"AV Wijngaarden","year":"1968","unstructured":"Wijngaarden, A.V. and B.J. Mailoux, J.E.L. Peck, C.H.A. Koster: ALGOL 68, Math. Centrum, Amsterdam 1968"},{"key":"20_CR13","unstructured":"Tarski, A.: Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica I (1935), Lw\u00f3w, 261\u2013405"},{"key":"20_CR14","volume-title":"Informatik I","author":"FL Bauer","year":"1971","unstructured":"Bauer, F.L. and G. Goos: Informatik I, II, Springer, Berlin-Heidelberg-New York 1971"},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/S0022-0000(70)80022-8","volume":"4","author":"DS Luckham","year":"1970","unstructured":"Luckham, D.S. and D.M.P. Park, M.S. Paterson: On formalized computer programs, Jour. of Computer and System Sciences 4 (1970), 220\u2013249","journal-title":"Jour. of Computer and System Sciences"},{"key":"20_CR16","first-page":"90","volume-title":"Currents in the Theory of Computing","author":"Z Manna","year":"1973","unstructured":"Manna, Z.: Program Schemas, in Currents in the Theory of Computing (editor A.V. Aho ), Prentice Hall 1973, 90\u2013142"},{"key":"20_CR17","unstructured":"Cul\u00edk, K.: Extensions of rooted trees and their applications (in print in Discrete Mathematics), 26 p."},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/BFb0059689","volume-title":"Symposium on the Semantics of Algorithmic Languages","author":"E Engeler","year":"1971","unstructured":"Engeler, E.: Structure and Meaning of Elementary Programs, in Symposium on the Semantics of Algorithmic Languages (editor E. Engeler ), Springer Lecture Notes in Math., vol. 188, 1971"},{"key":"20_CR19","volume-title":"Introduction to the theory of computation","author":"E Engeler","year":"1973","unstructured":"Engeler, E.: Introduction to the theory of computation, Academic Press, New York 1973"},{"key":"20_CR20","first-page":"11","volume-title":"Structured programming (Czech), Proceedings of Software Seminar 1974, Research Comp","author":"J Horejs","year":"1974","unstructured":"Horejs, J.: Structured programming (Czech), Proceedings of Software Seminar 1974, Research Comp. Centre of UN, Bratislava, Nov. 1974, 11\u201358"},{"key":"20_CR21","unstructured":"Pawlak, Z.: Programmed Machines (Polish), Algorithmy V (1969), Polish Academy of Sciences, Warsow, 5\u201319"},{"key":"20_CR22","first-page":"143","volume-title":"Programming theories and languages","author":"K Cul\u00ed\u2019k","year":"1973","unstructured":"Cul\u00ed\u2019k, K.: Programming theories and languages ( Czech), a textbook for graduated students, mimeographed in Research Institute for Mathematical Machines, Prague 1973, 143 p."},{"issue":"98","key":"20_CR23","first-page":"670","volume":"23","author":"K Culik","year":"1973","unstructured":"Culik, K.: Algorithmic algebras for computers, Proceedings of International Symposium and Summer School on Mathematical Foundations of Computer Science, Warsaw, August 1972 (see also Czech. Math. Jour. 23 (98), 1973, 670\u2013689 )","journal-title":"Math. Jour"},{"key":"20_CR24","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1145\/321607.321620","volume":"17","author":"R Sethi","year":"1970","unstructured":"Sethi, R. and J.D. Ullman: The generation of optimal code for arithmetic expressions, Jour. ACM 17 (1970), 715\u2013728","journal-title":"ACM"},{"key":"20_CR25","first-page":"297","volume":"16","author":"K Culik","year":"1971","unstructured":"Culik, K.: A note on complexity of algorithmic nets without cycles, Aplikace matematiky 16 (1971), 297\u2013301","journal-title":"Aplikace matematiky"},{"key":"20_CR26","volume-title":"Lecture Notes in Economics and Mathematical Systems","author":"K Cul\u00edk","year":"1972","unstructured":"Cul\u00edk, K.: Structural similarity of programs and some concepts of algorithmic method, Proceedings of 1. Fachtagung \u00fcber Programmiersprachen der Gesellschaft f\u00fcr Informatik, Lecture Notes in Economics and Mathematical Systems 75, Springer, Berlin-Heidelberg, New York 1972"},{"key":"20_CR27","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/BF00289503","volume":"2","author":"H Langmaack","year":"1973","unstructured":"Langmaack, H.: On procedures as open subroutines I, Acta Informatica 2 (1973), 311\u2013333","journal-title":"Acta Informatica"},{"key":"20_CR28","unstructured":"de Bakker, J.W.: Recursive Procedures, Math. Centre Tracts 24, Math. Centrum, Amsterdam"},{"key":"20_CR29","volume-title":"Vienna","author":"D Scott","year":"1969","unstructured":"Scott, D. and J.W. de Bakker: A theory of programs, unpublished notes, IBM seminar, Vienna 1969"},{"key":"20_CR30","volume-title":"Mathematical Logic (Polish)","author":"A Mostowski","year":"1948","unstructured":"Mostowski, A.: Mathematical Logic (Polish), University Press, Warszawa-Wroclaw 1948"},{"key":"20_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00987149","volume":"2","author":"K Walk","year":"1973","unstructured":"Walk, K.: Modelling of Storage Properties of Higher-Level Languages, Int. Jour. of Comp. and Inf. Sciences 2, March 1973, 1\u201324","journal-title":"Int. Jour. of Comp. and Inf. Sciences"},{"key":"20_CR32","first-page":"14","volume":"1","author":"K Cul\u00edk","year":"1975","unstructured":"Cul\u00edk, K.: On logical types of structured individuals and their application in computer theory, submitted for IFIP WG 2.2 meeting in Rigi, January 1, 1975 (in print), 14 p.","journal-title":"January"},{"key":"20_CR33","unstructured":"Culik, K.: Logical analysis of the concept of data structure (Czech), (in print), 26 p."},{"key":"20_CR34","doi-asserted-by":"crossref","unstructured":"McCarthy, J. and P.W. Abrahams, D.J. Edwards, T.P. Hart, M.I. Levin: LISP 1.5 Programmar\u2019s Manual, MIT Press, Cambridge 1962, 2.ed. v","DOI":"10.21236\/AD0406138"},{"key":"20_CR35","unstructured":"Cul\u00edk, K.: A note on comparison of Turing machines with computers, (in print), 18 p."},{"key":"20_CR36","first-page":"39","volume-title":"On the formal definition of assembly language","author":"B D\u00f6m\u00f6lki","year":"1973","unstructured":"D\u00f6m\u00f6lki, B.: On the formal definition of assembly language, Proceedings of the Symposium on Mathematical Foundations of Computer Science, High Tatras, September 1973, 39\u201350"},{"key":"20_CR37","volume-title":"the invited talk to GAMM Tagung","author":"K Culik","year":"1975","unstructured":"Culik, K.: The importance of formal methods for definition of programming languages and operating systems, the invited talk to GAMM Tagung 1975 (in print)"},{"key":"20_CR38","volume-title":"Programming languages","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Co-operating sequential processes, in Programming languages (editor F. Genuys ), Academic Press 1968"},{"key":"20_CR39","volume-title":"University of Bonn","author":"CA Petri","year":"1962","unstructured":"Petri, C.A.: Kommunikation mit Automaten, University of Bonn, 1962"},{"key":"20_CR40","first-page":"137","volume-title":"Concepts of Net Theory","author":"CA Petri","year":"1973","unstructured":"Petri, C.A.: Concepts of Net Theory, Proceedings of Symposium on Mathematical Foundations of Computer Science, High Tatras, September 1973, 137\u2013146"},{"key":"20_CR41","first-page":"27","volume-title":"Equivalence of parallel courses of algorithmic nets and precedence flow diagrams","author":"K Culik","year":"1973","unstructured":"Culik, K.: Equivalence of parallel courses of algorithmic nets and precedence flow diagrams, Proceedings of Symposium on Mathematical Foundations of Computer Science, High Tatras, September 1973, 27\u201338"},{"key":"20_CR42","first-page":"39","volume-title":"On the formal definition of assembly language, Proceedings of Symposium on Math. Found. of Comp","author":"B D\u00f6m\u00f6lki","year":"1973","unstructured":"D\u00f6m\u00f6lki, B.: On the formal definition of assembly language, Proceedings of Symposium on Math. Found. of Comp. Science, High Tatras, September 1973, 39\u201350"},{"key":"20_CR43","first-page":"629","volume":"37","author":"C McFarland","year":"1970","unstructured":"McFarland, C.: A language-oriented computer design, AFIPS Conference Proceedings 37 (1970), 629\u2013640","journal-title":"AFIPS Conference Proceedings"},{"key":"20_CR44","first-page":"33","volume":"37","author":"RM Meade","year":"1970","unstructured":"Meade, R.M.: On memory system design, AFIPS Conference Proceedings 37 (1970), 33\u201343","journal-title":"AFIPS Conference Proceedings"},{"key":"20_CR45","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/355592.365646","volume":"9","author":"C B\u00f6hm","year":"1966","unstructured":"B\u00f6hm, C. and G. Jacopini: Flow Diagrams, Turing Machines and Languages with only two Formation Rules, Comm. ACM 9, May 1966, 366\u2013371","journal-title":"ACM"},{"key":"20_CR46","first-page":"188","volume":"16","author":"K Culik","year":"1971","unstructured":"Culik, K.: Combinatorial problems in theory of complexity of algorithmic nets without cycles for simple computers, Aplikace matematiky 16 (1971), 188\u2013202","journal-title":"Aplikace matematiky"},{"key":"20_CR47","unstructured":"Knuth, D.E.: Structured programming with GOTO statements, Stanford University, STAN-CS-74\u2013416, May 1974, 98 p."},{"key":"20_CR48","volume-title":"Reduction languages and variable-free programming, IBM Research RJ","author":"J Backus","year":"1972","unstructured":"Backus, J.: Reduction languages and variable-free programming, IBM Research RJ 1010, Yorktown Heights, April 1972, New York"},{"key":"20_CR49","volume-title":"A language for proving theorems and manipulating models in a robot, Artificial Intelligence Lab. MIT, Cambridge","author":"C Hewitt","year":"1972","unstructured":"Hewitt, C.: Description and theoretical analysis (using schemata) of PLANNER: A language for proving theorems and manipulating models in a robot, Artificial Intelligence Lab. MIT, Cambridge, April 1972"},{"key":"20_CR50","volume-title":"Understanding Natural Language","author":"T Winograd","year":"1972","unstructured":"Winograd, T.: Understanding Natural Language, Academic Press, New York-London, 1972"},{"key":"20_CR51","first-page":"483","volume-title":"On the nonexistence of a phrase-structure grammar for ALGOL 60","author":"RW Floyd","year":"1962","unstructured":"Floyd, R.W.: On the nonexistence of a phrase-structure grammar for ALGOL 60, Comm. ACM 1962, 483\u2013484"},{"key":"20_CR52","volume-title":"IBM United Kingdom","author":"SM Glassover","year":"1968","unstructured":"Glassover, S.M. and K.V. Hanford, C.B. Jones: The syntax machine, Techn. Rep. 12.077, IBM United Kingdom, 1968"},{"key":"20_CR53","first-page":"209","volume-title":"Automatentheorie and formale Sprachen","author":"K Culik","year":"1970","unstructured":"Culik, K.: On conditional context-free grammars for programming and natural language, in Automatentheorie and formale Sprachen (editors J. D\u00f6rr and G. Hotz ), Bibliographisches Institut, Mannheim 1970, 209\u2013220"}],"container-title":["Informatik-Fachberichte","Programmiersprachen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-66319-2_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:50:30Z","timestamp":1606254630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-66319-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540076193","9783642663192"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-66319-2_20","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1976]]}}}