{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:35Z","timestamp":1725456155315},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354016443X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022675","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T00:51:59Z","timestamp":1132707119000},"page":"288-306","source":"Crossref","is-referenced-by-count":0,"title":["On applications of algorithmic logic"],"prefix":"10.1007","author":[{"given":"G.","family":"Mirkowska","sequence":"first","affiliation":[]},{"given":"A.","family":"Salwicki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Mirkowska,G.,Salwicki,A., Algorithmic logic, PWN Warszawa & D.Reidel Utrecht, to appear"},{"key":"22_CR2","unstructured":"LOGLAN' 82 report, PWN Warszawa 1983"},{"key":"22_CR3","unstructured":"Aho,A.,Hopcroft,J.,Ullman,J., The design and analysis of computer algorithms, Addison-Wesley 1974"},{"key":"22_CR4","unstructured":"Da\u0144ko,W., A criterion of undecidability of algorithmic theories in Proc MFCS'80, LNCS 88, Springer, 1980"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Hoare,C.A.R., Proof of correctness of data representation Acta Informatica, 1972, 271\u2013281","DOI":"10.1007\/BF00289507"},{"key":"22_CR6","unstructured":"Krause,M.,Kreczmar,A.,Langmaack,H.,Salwicki,A., Specification and implementa tion problems of programming languages proper for hierarchical data types, rep.8410 Christian Albrechts University Kiel, 1984"},{"key":"22_CR7","doi-asserted-by":"crossref","first-page":"19","DOI":"10.3233\/FI-1977-1103","volume":"1","author":"A. Kreczmar","year":"1977","unstructured":"Kreczmar, A., Effectivity problems of algorithmic logic Fundamenta Informaticae 1 (1977) 19\u201332 also ICALP'74 LNCS14 Springer abbr.","journal-title":"Fundamenta Informaticae"},{"key":"22_CR8","first-page":"29","volume-title":"Proc IFIP TC Conf. Dresden 1983","author":"A. Kreczmar","year":"1983","unstructured":"Kreczmar, A.,Salwicki, A., Concatenable type declarations ... in Proc IFIP TC Conf. Dresden 1983, North Holland, Amsterdam 1983, 29\u201337"},{"key":"22_CR9","first-page":"421","volume":"19","author":"G. Mirkowska","year":"1971","unstructured":"Mirkowska, G., On formalized systems of algorithmic logic Bull.Acad.Pol.Scie. Ser.Math.Astr. 19 (1971), 421\u2013428","journal-title":"Bull.Acad.Pol.Scie. Ser.Math.Astr."},{"key":"22_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1977-1102","volume":"1","author":"G. Mirkowska","year":"1977","unstructured":"Mirkowska, G., Algorithmic logic and its applications in the theory of programs, Fundamenta Informaticae 1 (1977) 1\u201317, 147\u2013167","journal-title":"Fundamenta Informaticae"},{"key":"22_CR11","unstructured":"Mirkowska,G., Axiomatic definability of programming language semantics manuscript 1986"},{"key":"22_CR12","unstructured":"Oktaba,H., Algorithmic theories of memory management systems, in polish, Ph.D. thesis, Uni Warsaw 1981"},{"key":"22_CR13","unstructured":"Rasiowa,H.Sikorski,R., Mathematics of metamathematics, PWN Warszawa 1963"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Salwicki,A., On algorithmic theory of stacks, Fundamenta Informaticae3 (1980), 311\u2013332 also abbr. in Proc MFCS'78 LNCS64 Springer","DOI":"10.3233\/FI-1980-3305"},{"key":"22_CR15","unstructured":"Salwicki,A., Algorithmic theories of data structures in Proc. ICALP'82, LNCS143 Springer"}],"container-title":["Lecture Notes in Computer Science","CAAP '86"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022675.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T03:07:50Z","timestamp":1626750470000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022675"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354016443X"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0022675","relation":{},"subject":[]}}