{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:31Z","timestamp":1725664291172},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615507"},{"type":"electronic","value":"9783540705970"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61550-4_147","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:54:23Z","timestamp":1330275263000},"page":"180-191","source":"Crossref","is-referenced-by-count":2,"title":["From specifications to programs: A fork-algebraic approach to bridge the gap"],"prefix":"10.1007","author":[{"given":"Gabriel A.","family":"Baum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo F.","family":"Frias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armando M.","family":"Haeberer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo E.","family":"Mart\u00ednez L\u00f3pez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Berghammer, R., Haeberer, A.M., Schmidt, G., and Veloso, P.A.S,. Comparing Two Different Approaches to Products in Abstract Relation Algebras, in Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, AMAST '93, Springer Verlag, 1993, 167\u2013176.","DOI":"10.1007\/978-1-4471-3227-1_16"},{"key":"12_CR2","unstructured":"Chin, L.H. and Tarski, A., Distributive and Modular Laws in the Arithmetic of Relation Algebras, in University of California Publications in Mathematics. University of California, 1951, 341\u2013384."},{"key":"12_CR3","unstructured":"Frias, M.F., Aguayo N.G. and Novak B., Development of Graph Algorithms with Fork Algebras, in Proceedings of the XIX Latinamerican Conference on Informatics, 1993, 529\u2013554."},{"key":"12_CR4","first-page":"64","volume":"2","author":"M.F. Frias","year":"1995","unstructured":"Frias, M.F., Baum, G.A., Haeberer, A.M. and Veloso, P.A.S., Fork Algebras are Representable, in Bulletin of the Section of Logic, University of L\u00f3d\u017a, (24)2, 1995, pp.64\u201375.","journal-title":"Bulletin of the Section of Logic, University of L\u00f3d\u017a, (24)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Frias, M.F., Haeberer, A.M. and Veloso, P.A.S., A Finite Axiomatization for Fork Algebras, to appear in Journal of the IGPL, 1996.","DOI":"10.1007\/978-3-7091-6510-2_4"},{"issue":"N.5","key":"12_CR6","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1093\/jigpal\/3.5.791","volume":"3","author":"V. Gyuris","year":"1995","unstructured":"Gyuris, V., A Short Proof for Representability of Fork Algebras, Journal of the IGPL, vol 3, N.5, 1995, pp.791\u2013796.","journal-title":"Journal of the IGPL"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Haeberer, A.M., Baum, G.A. and Schmidt G., On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers, in Proceedings of the Intl. Conference on Formal Methods in Programming and Their Applications, LNCS 735, Springer Verlag, 1993, 281\u2013298.","DOI":"10.1007\/BFb0039715"},{"key":"12_CR8","unstructured":"Haeberer, A.M. and Veloso, P.A.S., Partial Relations for Program Derivation: Adequacy, Inevitability and Expressiveness, in Constructing Programs from Specifications \u2014 Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications. North Holland., 1991, 319\u2013371."},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BF01458217","volume":"76","author":"L. L\u00f6wenheim","year":"1915","unstructured":"L\u00f6wenheim, L., \u00dcber M\u00f6glichkeiten im Relativkalk\u00fcl, Math. Ann. vol. 76, 1915, 447\u2013470.","journal-title":"Math. Ann."},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1002\/malq.19890350405","volume":"35","author":"R. Maddux","year":"1989","unstructured":"Maddux, R., Finitary Algebraic Logic, Zeitschr. f. math. Logik und Grundlagen d. Math., vol. 35, 1989, 321\u2013332.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"12_CR11","unstructured":"Mikul\u00e1s, S., Sain, I., Simon, A., Complexity of Equational Theory of Relational Algebras with Projection Elements. Bulletin of the Section of Logic, Vol.21, N.3, 103\u2013111, University of L\u00f3d\u017a, October.1992."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"N\u00e9meti I., Strong Representability of Fork Algebras, a Set Theoretic Foundation, to appear in Journal of the IGPL, 1996.","DOI":"10.1093\/jigpal\/5.1.3"},{"key":"12_CR13","unstructured":"Sain, I. and N\u00e9meti, I., Fork Algebras in Usual as well as in Non-well-founded Set Theories, preprint of the Mathematical Institute of the Hungarian Academy of Sciences, 1994."},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A., On the Calculus of Relations, Journal of Symbolic Logic, vol. 6, 1941, 73\u201389.","journal-title":"Journal of Symbolic Logic"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Tarski, A. and Givant, S., A Formalization of Set Theory without Variables, A.M.S. Coll. Pub., vol. 41, 1987.","DOI":"10.1090\/coll\/041"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1996"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61550-4_147.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:07:43Z","timestamp":1605629263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61550-4_147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615507","9783540705970"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61550-4_147","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}