{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,6]],"date-time":"2024-12-06T05:05:06Z","timestamp":1733461506300,"version":"3.30.1"},"reference-count":16,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4521,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1016\/s0304-3975(99)00343-6","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T20:01:16Z","timestamp":1027627276000},"page":"543-556","source":"Crossref","is-referenced-by-count":1,"title":["Completeness of a relational calculus for program schemes"],"prefix":"10.1016","volume":"254","author":[{"given":"Marcelo","family":"F. Frias","sequence":"first","affiliation":[]},{"given":"Roger","family":"D. Maddux","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(99)00343-6_BIB1","doi-asserted-by":"crossref","unstructured":"C. Brink, W. Kahl, G. Schmidt (Eds.), Relational Methods in Computer Science, Springer, Vienna-New York, 1997.","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"10.1016\/S0304-3975(99)00343-6_BIB2","unstructured":"P.J. Freyd, A. Scedrov, Categories, Allegories, North-Holland, Amsterdam, 1990."},{"key":"10.1016\/S0304-3975(99)00343-6_BIB3","unstructured":"M.F. Frias, Fork Algebras in algebra, logic and computer science, Dissertation, Pont. Univ.-Rio, Rio de Janeiro, 1998."},{"key":"10.1016\/S0304-3975(99)00343-6_BIB4","doi-asserted-by":"crossref","unstructured":"M.F. Frias, R.D. Maddux, Completeness of a relational calculus for program schemes, Proc. 13th Annual IEEE Symp. on Logic in Computer Science, June 21\u201324, Indianapolis, Indiana, IEEE Computer Society, Los Alamitos, 1988, pp. 127\u2013134.","DOI":"10.1109\/LICS.1998.705649"},{"key":"10.1016\/S0304-3975(99)00343-6_BIB5","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF02483728","article-title":"Varieties of relation algebras","volume":"15","author":"J\u00f3nsson","year":"1982","journal-title":"Algebra Univ."},{"key":"10.1016\/S0304-3975(99)00343-6_BIB6","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0012-365X(88)90078-7","article-title":"Relation algebras and Schr\u00f6der categories","volume":"70","author":"J\u00f3nsson","year":"1988","journal-title":"Discrete Math."},{"key":"10.1016\/S0304-3975(99)00343-6_BIB7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","article-title":"Boolean algebras with operators. Part II","volume":"74","author":"J\u00f3nsson","year":"1952","journal-title":"Amer. J. Math."},{"key":"10.1016\/S0304-3975(99)00343-6_BIB8","unstructured":"R.D. Maddux, Topics in relation algebras, Dissertation, University of California, Berkeley, 1978."},{"key":"10.1016\/S0304-3975(99)00343-6_BIB9","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/BF02485385","article-title":"Some sufficient conditions for the representability of relation algebras","volume":"8","author":"Maddux","year":"1978","journal-title":"Algebra Univ."},{"key":"10.1016\/S0304-3975(99)00343-6_BIB10","first-page":"939","article-title":"Cat\u00e9gories de Dedekind. Morphismes dans les cat\u00e9gories de Schr\u00f6der","volume":"290","author":"Olivier","year":"1980","journal-title":"C. R. Acad. Sci. Paris"},{"year":"1976","series-title":"Recursive program schemes","author":"de Roever","key":"10.1016\/S0304-3975(99)00343-6_BIB11"},{"key":"10.1016\/S0304-3975(99)00343-6_BIB12","unstructured":"D.S. Scott, J.W. de Bakker, A theory of programs, unpublished seminar notes, IBM Seminar, Vienna, 1969, in: Klop, Meijer, Rutten (Eds.), J.W. de Bakker, 25 Jaar Semantiek. Liber Amicorum, Amsterdam, 1989."},{"key":"10.1016\/S0304-3975(99)00343-6_BIB13","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","article-title":"On the calculus of relations","volume":"6","author":"Tarski","year":"1941","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0304-3975(99)00343-6_BIB14","first-page":"188","article-title":"Some metalogical results concerning the calculus of relations","volume":"18","author":"Tarski","year":"1953","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0304-3975(99)00343-6_BIB15","unstructured":"A. Tarski, Contributions to the theory of models, III, Koninklijkle Nederlandse Akademie van Wetenschappen Proc. Series A. Mathematical Sciences (Indaga. Math., Vol. 17), Vol. 58, 1955, pp. 56\u201364."},{"key":"10.1016\/S0304-3975(99)00343-6_BIB16","doi-asserted-by":"crossref","unstructured":"A. Tarski, S.R. Givant, A Formalization of Set Theory without Variables, Coll. Publ., Vol. 41, Amer. Math. Soc., Providence, RI, 1987.","DOI":"10.1090\/coll\/041"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397599003436?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397599003436?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T05:50:27Z","timestamp":1733377827000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397599003436"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":16,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["S0304397599003436"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(99)00343-6","relation":{},"ISSN":["0304-3975"],"issn-type":[{"type":"print","value":"0304-3975"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}