{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:29:15Z","timestamp":1725456555800},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540115762"},{"type":"electronic","value":"9783540393085"}],"license":[{"start":{"date-parts":[[1982,1,1]],"date-time":"1982-01-01T00:00:00Z","timestamp":378691200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/bfb0012792","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T13:00:52Z","timestamp":1132750852000},"page":"458-472","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Algorithmic theories of data structures"],"prefix":"10.1007","author":[{"given":"Andrzej","family":"Salwicki","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,10,22]]},"reference":[{"key":"41_CR1","unstructured":"Aho,A., Hopcroft,J., ullman,J., The design and analysis of computer algorithms, Addiaon-Wesley, 1974"},{"key":"41_CR2","unstructured":"Banachowski,L., On proving program correctness by means of stepwise refinement method, to appear in Proc. Symp. Algorithmic Logic and LOGLAN in Lecture Notes in Computer Science"},{"key":"41_CR3","unstructured":"Bartol,W.M.,et al., Report on the LOGLAN programming language M\u00fcldner, T., ed University of Warsaw 1981"},{"key":"41_CR4","unstructured":"Da\u0144ko,W., A criterion of undecidability of algorithmic theories, in Proc. MFCS'80 P.Dembinski ed. LNCS Springer Vlg vol.88"},{"key":"41_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF01705528","volume":"1","author":"E. Engeler","year":"1967","unstructured":"Engeler,E., Algorithmic properties of structures, Math. Systems Theory 1 (1967), 183\u2013195","journal-title":"Math. Systems Theory"},{"key":"41_CR6","unstructured":"Goguen,J. A.,Thatcher,J.W., Wagner,E.G., An initial algebra approach to the specification, correctness and implementation of abstarct data types, IBM Rep. RC 6487(1977)"},{"key":"41_CR7","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/359605.359618","volume":"20","author":"J. Guttag","year":"1977","unstructured":"Guttag,J., Abstract data types... CACM 20 (1977), 396\u2013404","journal-title":"CACM"},{"key":"41_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare,C.A.R., Proof of correctness of data representation, Acta Informatica 1 (1972), 271\u2013281","journal-title":"Acta Informatica"},{"key":"41_CR9","unstructured":"Kfoury.D., Comparing algebraic structures up to algorithmic equivalence in Proc 1-st ICALP'72. North-Holland 1972"},{"key":"41_CR10","doi-asserted-by":"crossref","first-page":"195","DOI":"10.3233\/FI-1977-1113","volume":"1","author":"A. Kreczmar","year":"1977","unstructured":"Kreczmar,A., Programmability in fields, Fundamenta Informaticae 1 (1977), 195\u2013220","journal-title":"Fundamenta Informaticae"},{"key":"41_CR11","unstructured":"Knuth,D., The art of computer programming, vol.3 Addison-Wesley 73"},{"key":"41_CR12","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/942572.807045","volume":"4","author":"B.M. Liskov","year":"1974","unstructured":"Liskov,B.M., Zilles,S.N., Programming with abstract data types Proc ACM SIGPLAN Symp. on Very High Level languages, SIGPLAN Notices 4 (1974), 50\u201359","journal-title":"SIGPLAN Notices"},{"key":"41_CR13","unstructured":"Mazur,S., Computable analysis, Dissertationes Mathematicae 33 (1963 PWN)Publ. Warsaw"},{"key":"41_CR14","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":"41_CR15","doi-asserted-by":"crossref","first-page":"45","DOI":"10.3233\/FI-1980-3105","volume":"1","author":"G. Mirkowska","year":"1980","unstructured":"Mirkowska, G.,Algorithmic logic with nondeterministic programs, Fundamenta informaticae 1 (1980), 45\u201364","journal-title":"Fundamenta informaticae"},{"key":"41_CR16","unstructured":"OKtaba.H., un algorithmic theory of reference, Ph.D. Thesis university of Warsaw 1981"},{"key":"41_CR17","doi-asserted-by":"crossref","unstructured":"Salwicki, A., On algorithmic theory of stacks in Proc.MFCS78 J.Winkowski ed. Lecture Notes in Comp.Sci. v. 64, 452\u2013461","DOI":"10.1007\/3-540-08921-7_93"},{"key":"41_CR18","doi-asserted-by":"crossref","unstructured":"Salwicki,A., On the algorithmic theory of dictionaries, in Proc Logic of Programs E. Engeler ed. LNCS vol.125, 145\u2013168","DOI":"10.1007\/3-540-11160-3_5"},{"key":"41_CR19","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"Scott,D., Data types as lattices, SIAM J.Comp. 5(1976), 522\u2013587","journal-title":"SIAM J.Comp."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0012792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T08:49:19Z","timestamp":1626770959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012792"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540115762","9783540393085"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0012792","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]},"assertion":[{"value":"22 October 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}