{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:52Z","timestamp":1725456112427},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354011212X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0025788","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:23:41Z","timestamp":1132377821000},"page":"300-310","source":"Crossref","is-referenced-by-count":0,"title":["The representation theorem for algorithmic algebras"],"prefix":"10.1007","author":[{"given":"Grazyna","family":"Mirkowska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Glushkow W., On the problem of minimalization of programs and schemes of algorithms. Kibiernietika, 1966. 5."},{"key":"19_CR2","unstructured":"Kozen D., On the duality of dynamic algebras and Kripke models, IBM Reports, 10\/5\/79."},{"key":"19_CR3","unstructured":"Kozen D., On the representation of dynamic algebras, IBM Reports 10\/10\/79."},{"key":"19_CR4","unstructured":"Kozen D., A representation theorem for models of-free PDL, IBM Reports, 9\/7\/79."},{"key":"19_CR5","unstructured":"Mirkowska G., Algorithmic logic and its applications in the theory of programs, doctoral dissertation, University of Warsaw 1972."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Mirkowska G., PAL \u2014 propositional algorithmic logic. Fundamenta Informaticae 1981.","DOI":"10.1007\/3-540-11160-3_3"},{"key":"19_CR7","unstructured":"Pratt V., Dynamic algebras: examples, constructions applications, MIT Reports LCS\/TM \u2014 138, 1979."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Pratt V., Dynamic algebras and the nature of induction, 12-th Ann, ACM Symp. on Theory of Computing, Los Angeles CA May 1980.","DOI":"10.1145\/800141.804649"},{"key":"19_CR9","unstructured":"Rasiowa H., Sikorski R., The Mathematics of metamathematics, PWN Warsaw. 1963."},{"key":"19_CR10","unstructured":"Reiterman J., Trnkova V., Dynamic algebras which are not Kripke structures. MFCS'80. Lecture Notes in Computer Sci., Springer Verlag 1980."}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025788.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:55:29Z","timestamp":1607532929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025788"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354011212X"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0025788","relation":{},"subject":[]}}