{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:31Z","timestamp":1725663271385},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540083535"},{"type":"electronic","value":"9783540372851"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08353-7_132","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:23:50Z","timestamp":1330187030000},"page":"122-134","source":"Crossref","is-referenced-by-count":1,"title":["Applied algorithmic logic"],"prefix":"10.1007","author":[{"given":"Andrzej","family":"Salwicki","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"10_CR1","volume-title":"The design and analysis of computer algorithms","author":"A. V. Aho","year":"1968","unstructured":"Aho, A.V.,Hopcroft, J.E.,Ullman, J.D., The design and analysis of computer algorithms, Addison Wesley, Reading,Mass.,1968"},{"key":"10_CR2","volume-title":"SIMULA begin","author":"G. M. Birtwistle","year":"1973","unstructured":"Birtwistle, G.M.,Dahl, O-J.,Mayhrhaug, B.,Nygaard, K., SIMULA begin. Studentliteratur, Lund,1973"},{"key":"10_CR3","first-page":"315","volume":"23","author":"L. Banachowski","year":"1975","unstructured":"Banachowski, L., An axiomatic approach to the theory of data structures, Bull.Acad.Pol.Sci.Ser.Math.Astr.Phys., 23 (1975) 315\u2013323","journal-title":"Bull.Acad.Pol.Sci.Ser.Math.Astr.Phys."},{"key":"10_CR4","volume-title":"Concurrent Pascal","author":"P. Brinch Hansen","year":"1976","unstructured":"Brinch Hansen, P., Concurrent Pascal, Information Science TR 10 Caltech, Pasadena,1976"},{"key":"10_CR5","volume-title":"Intuitionism","author":"A. Heyting","year":"1956","unstructured":"Heyting, A., Intuitionism,North Holland, Amsterdam, 1956"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. A. R. R. Hoare","year":"1974","unstructured":"Hoare, C.A.R.,Monitors: an operating system structuring concept Com.ACM, 17 (1974),549\u2013557","journal-title":"Com.ACM"},{"key":"10_CR7","volume-title":"The art of computer programming, I,III","author":"D. E. Knuth","year":"1968","unstructured":"Knuth, D.E.,The art of computer programming, I,III, Addison-Wesley, Reading,Mass., 1968"},{"key":"10_CR8","unstructured":"LOGLAN 77, internal report University of Warsaw, 1977"},{"key":"10_CR9","first-page":"421","volume":"19","author":"G. Mirkowska","year":"1971","unstructured":"Mirkowska, G.,Algorithmic logic..., to appear in Fundamenta Informaticae, see also On formalized systems of algorithmic logic, Bull.Acad.Pol.Sci.Ser.Math.Astr.Phys., 19(1971),421\u2013428","journal-title":"Bull.Acad.Pol.Sci.Ser.Math.Astr.Phys."},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"602","DOI":"10.1007\/3-540-07854-1_234","volume-title":"A complete axiomatic characterization of algorithmic properties... in Proc.MFCS-76 Gda\u0144sk","author":"G. Mirkowska","year":"1976","unstructured":"Mirkowska, G.,Salwicki, A., A complete axiomatic characterization of algorithmic properties... in Proc.MFCS-76 Gda\u0144sk, Lecture Notes in Computer Science, Springer Verlag, Berlin, 1976,602\u2013608"},{"key":"10_CR11","unstructured":"M\u00fcldner,T.,Implementation and properties of certain notions of quasi-parallel and parallel computations, to appear in Fundamenta Informaticae"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"On properties of certain synchronising tool for parallel computations, Proc.FCT'77 Pozna\u0144","author":"T. M\u00fcldner","year":"1977","unstructured":"M\u00fcldner, T., On properties of certain synchronising tool for parallel computations, Proc.FCT'77 Pozna\u0144, Lecture Notes in Computer Science, Springer Verlag, Berlin, 1977"},{"key":"10_CR13","unstructured":"Radziszowski,S., Programmability and P=NP conjecture, ibidem"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","first-page":"464","volume-title":"Procedures, formal computations and models. Proc.MFCS 74 Jadwisin","author":"A. Salwicki","year":"1974","unstructured":"Salwicki, A., Procedures, formal computations and models. Proc.MFCS 74 Jadwisin, Lecture Notes in Computer Science 28 Springer Verlag, Berlin 1974, 464\u2013484"},{"key":"10_CR15","volume-title":"An algorithmic approach to set theory, Proc FCT'77 Pozna\u0144, Lecture Notes in Compuer Science","author":"A. Salwicki","year":"1977","unstructured":"Salwicki, A.,An algorithmic approach to set theory, Proc FCT'77 Pozna\u0144, Lecture Notes in Compuer Science, Springer Vlg, Berlin 1977"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1977"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08353-7_132.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:52:07Z","timestamp":1619556727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08353-7_132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083535","9783540372851"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-08353-7_132","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}