{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:13:47Z","timestamp":1725459227747},"publisher-location":"Berlin\/Heidelberg","reference-count":25,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057316X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0039715","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T14:17:03Z","timestamp":1138198623000},"page":"281-298","source":"Crossref","is-referenced-by-count":4,"title":["On the smooth calculation of relational recursive expressions out of first-order non-constructive specifications involving quantifiers"],"prefix":"10.1007","author":[{"given":"Armando M.","family":"Haeberer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel A.","family":"Baum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gunther","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Backhouse, R. and Tormenta, P., \u201cPolynomial Relators\u201d in State-of-the-Art Seminar on Formal Program Development, IFIP-WG 2.1 Algorithmic Languages and Calculi, 1992."},{"key":"20_CR2","unstructured":"Baum, G., Haeberer, A.M., and Veloso, P.A.S., \u201cOn the Representability of the \u25bd-Abstract Relational Algebra\u201d IGPL Newsletter, vol. 1, no. 3, European Foundation for Logic, Language and Information, Interest Group on Programming Logic."},{"issue":"no.1","key":"20_CR3","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2271948","volume":"43","author":"A. R. Bednarek","year":"1978","unstructured":"Bednarek, A. R. and Ulam, S. M., \u201cProjective Algebra and the Calculus of Relations\u201d Journal of Symbolic Logic, vol. 43, no. 1, 56\u201364, March 1978.","journal-title":"Journal of Symbolic Logic"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Berghammer, R., Haeberer, A.M., Schmidt, G., and Veloso, P.A.S., \u201cComparing two Different Approaches to Products in Abstract Relation Algebras\u201d, Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, AMAST'93, 1993.","DOI":"10.1007\/978-1-4471-3227-1_16"},{"key":"20_CR5","first-page":"80","volume":"54","author":"L. Chin","year":"1948","unstructured":"Chin, L. and Tarski, A., \u201cRemarks on Projective Algebras\u201d Bulletin of the American Mathematical Society, vol. 54, 80\u201381, 1948.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"20_CR6","unstructured":"Chin, L. H. C. and Tarski, A., \u201cDistributive and Modular Laws in the Arithmetic of Relation Algebras\u201d in University of California Publications in Mathematics, of California, U., Ed. University of California, 1951, pp. 341\u2013384."},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"77","DOI":"10.2307\/2371742","volume":"68","author":"C. J. Everett","year":"1946","unstructured":"Everett, C. J. and Ulam, S. M., \u201cProjective Algebra,\u201d American Journal of Mathematics, vol. 68, 77\u201388, 1946.","journal-title":"American Journal of Mathematics"},{"key":"20_CR8","unstructured":"Haeberer, A.M., Veloso, P.A.S., and Elustondo, P., \u201cTowards a Relational Calculus for Software Construction\u201d in 41st Meeting of the, vol. Document IFIP Working Group 2.1 Algorithmic Languages and Calculi, Chester-England, 1990."},{"key":"20_CR9","unstructured":"Haeberer, A.M. and Veloso, P.A.S., \u201cPartial Relations for Program Derivation: Adequacy, Inevitability and Expressiveness\u201d in Constructing Programs From Specifications \u2014 Proceedings of the IFIP TC2 Working Conference on Constructing Programs From Specifications, N. H., IFIP WG 2.1, Bernhard M\u00f6ller, 1991, pp. 319\u2013371."},{"key":"20_CR10","unstructured":"Haeberer, A.M., Baum, G., and Schmidt, G. \u201cDealing with Non-Constuctive Specifications Involving Quantifiers\u201d Res. Rept. MCC 4, 1993."},{"key":"20_CR11","volume-title":"Algebraic Logic","author":"P. R. Halmos","year":"1962","unstructured":"Halmos, P. R., Algebraic Logic. New York: Chelsea Publishing Company, 1962."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Henkin, L. and Monk, J. D., \u201cCylindric Algebras and Related Structures\u201d in Proceedings of the Tarski Symposium, vol. 25 American Mathematical Society, 1974, pp. 105\u2013121.","DOI":"10.1090\/pspum\/025\/0376346"},{"issue":"no.9","key":"20_CR13","doi-asserted-by":"crossref","first-page":"51","DOI":"10.3233\/FI-1986-9104","volume":"4","author":"C. A. R. Hoare","year":"1986","unstructured":"Hoare, C. A. R. and He, J., \u201cThe Weakest Presepecification, Part I\u201d Fundamenta Informatica, vol. 4, no. 9, 51\u201354, \u201cPart II\u201d vol. 4, no. 9, 217\u2013252, 1986.","journal-title":"Fundamenta Informatica"},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B. and Tarski, A., \u201cBoolean Algebras With Operators PART I\u201d American Journal of Mathematics, vol. 73, 891\u2013939, 1951. \u201cPART II\u201d, vol. 74, 127\u2013162, 1952.","journal-title":"American Journal of Mathematics"},{"key":"20_CR15","doi-asserted-by":"crossref","first-page":"707","DOI":"10.2307\/1969375","volume":"51","author":"R. Lyndon","year":"1950","unstructured":"Lyndon, R., \u201cThe Representation of Relational Algebras\u201d Annals of Mathematics (series 2), vol. 51, 707\u2013729, 1950.","journal-title":"Annals of Mathematics (series 2)"},{"key":"20_CR16","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(83)90055-6","volume":"25","author":"R. Maddux","year":"1983","unstructured":"Maddux, R., \u201cA Sequent Calculus for Relation Algebras\u201d Annals of Pure and Apply Logic, vol. 25, 73\u2013101, 1983.","journal-title":"Annals of Pure and Apply Logic"},{"issue":"no.3\u20134","key":"20_CR17","first-page":"412","volume":"L","author":"R. Maddux","year":"1991","unstructured":"Maddux, R., \u201cThe Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations\u201d Studia Logica, vol. L, no. 3\u20134, 412\u2013455, 1991.","journal-title":"Studia Logica"},{"issue":"no.3\u20134","key":"20_CR18","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/BF00370684","volume":"L","author":"I. N\u00e9meti","year":"1991","unstructured":"N\u00e9meti, I., \u201cAlgebraization of Quantifier Logics, an Introductory Overview\u201d Studia Logica, vol. L, no. 3\u20134, 485\u2013569, 1991.","journal-title":"Studia Logica"},{"key":"20_CR19","unstructured":"Roever, W. P. de, \u201cA Formalization of Various Prameter Mechanisms as Products of Relations Within a Calculus of Recursive Program Schemes\u201d in Theorie des Algorithmes, des Languages et de la Programation, 1972, pp. 55\u201388."},{"key":"20_CR20","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0012-365X(85)90064-0","volume":"54","author":"G. Schmidt","year":"1985","unstructured":"Schmidt, G. and Str\u00f6hlein, T., \u201cRelation Algebras: Concept of Points and Representability\u201d Discrete Mathematics, vol. 54, 83\u201392, 1985.","journal-title":"Discrete Mathematics"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Schmidt, G. and Str\u00f6hlein, T., Relationen und Graphen. Mathematik f\u00fcr Informatiker, Springer-Verlag, 1989. Republished in English in EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1993.","DOI":"10.1007\/978-3-642-83608-4"},{"key":"20_CR22","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A., \u201cOn the Calculus of Relations\u201d Journal of Symbolic Logic, vol. 6, 73\u201389, 1941.","journal-title":"Journal of Symbolic Logic"},{"key":"20_CR23","first-page":"65","volume":"58","author":"A. Tarski","year":"1952","unstructured":"Tarski, A. and Thompson, F. B., \u201cSome General Properties of Cylindric Algebras\u201d Bulletin of the American Mathematical Society, vol. 58, 65, 1952.","journal-title":"Bulletin of the American Mathematical Society"},{"issue":"no.2","key":"20_CR24","first-page":"52","volume":"20","author":"P.A.S. Veloso","year":"1991","unstructured":"Veloso, P.A.S. and Haeberer, A.M., \u201cA Finitary Relational Algebra For Classical First-Order Logic\u201d Bulletin of the Section of Logic of the Polish Academy of Sciences, vol. 20, no. 2, 52\u201362, June 1991.","journal-title":"Bulletin of the Section of Logic of the Polish Academy of Sciences"},{"key":"20_CR25","unstructured":"Veloso, P.A.S., Haeberer, A.M., and Baum, G., \u201cFormal Program Construction Within an Extended Calculus of Binary Relations\u201d Res. Rept. MCC 19, 1992."}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Programming and Their Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039715.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T03:36:29Z","timestamp":1627011389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039715"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057316X"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0039715","relation":{},"subject":[]}}