{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:34:23Z","timestamp":1777646063746,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[1997,10]]},"abstract":"<jats:p>Since the main themes at the Helena Rasiowa memorial were algebra, logic and computer science, we will present a survey of results on fork algebras from these points of view. In this paper we study fork algebras from the points of view of their algebraic and logical properties and applications. These results will prove to be essential, in a future work, for the definition of a wide-spectrum calculus for program construction.<\/jats:p>","DOI":"10.3233\/fi-1997-32101","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T21:17:12Z","timestamp":1575321432000},"page":"1-25","source":"Crossref","is-referenced-by-count":15,"title":["Fork Algebras in Algebra, Logic and Computer Science"],"prefix":"10.1177","volume":"32","author":[{"given":"Marcelo F.","family":"Frias","sequence":"first","affiliation":[{"name":"Laborat\u00f3rio de M\u00e9todos Formais, Departamento de Inform\u00e1tica, Pontif'icia Universidade Cat\u00f3lica do Rio de Janeiro, Rua Marqu\u00eas de S\u00e3o Vicente 225, 22453-900, Rio de Janeiro, RJ, Brazil. e-mail:mfrias@inf.puc-rio.br"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel A.","family":"Baum","sequence":"additional","affiliation":[{"name":"Universidad Nacional de La Plata, LIFIA, Departamento de Inform\u00e1tica, C.C.ll, Correo Central, 1900, La Plata, Provincia de Buenos Aires, Rep\u00fablica Argentina. e-mail:gbaum@info.unlp.edu.ar"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armando M.","family":"Haeberer","sequence":"additional","affiliation":[{"name":"Laborat\u00f3rio de M\u00e9todos Formais, Departamento de Inform\u00e1tica, Pontif'icia Universidade Cat\u00f3lica do Rio de Janeiro, Rua Marqu\u00eas de S\u00e3o Vicente 225, 22453-900, Rio de Janeiro, RJ, Brazil. e-mail:armando@inf.puc-rio.br"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[1997,1,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-1997-32101","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-1997-32101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:34:13Z","timestamp":1777444453000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-1997-32101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,10]]}},"alternative-id":["10.3233\/FI-1997-32101"],"URL":"https:\/\/doi.org\/10.3233\/fi-1997-32101","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1,1]]}}}