{"id":"https://openalex.org/W4303970003","doi":"https://doi.org/10.20868/upm.thesis.12705","title":"Relational and Allegorical Semantics for Constraint Logic Programming","display_name":"Relational and Allegorical Semantics for Constraint Logic Programming","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W4303970003","doi":"https://doi.org/10.20868/upm.thesis.12705","mag":"1774174195"},"language":"en","primary_location":{"id":"doi:10.20868/upm.thesis.12705","doi":"https://doi.org/10.20868/upm.thesis.12705","is_oa":true,"landing_page_url":"https://doi.org/10.20868/upm.thesis.12705","pdf_url":"https://oa.upm.es/12705/1/EMILIO_JESUS_GALLEGO_ARIAS.pdf","source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universidad Polit\u00e9cnica de Madrid","raw_type":"dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://oa.upm.es/12705/1/EMILIO_JESUS_GALLEGO_ARIAS.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055058246","display_name":"Emilio Jes\u00fas Gallego Arias","orcid":"https://orcid.org/0000-0002-9299-1192","observed_orcids":["https://orcid.org/0000-0002-9299-1192"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Emilio Jes\u00fas Gallego Arias","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5055058246"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9750999808311462,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9750999808311462,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.01209999993443489,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.009700000286102295,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"constraint logic programming","score":0.9200000166893005},{"id":"https://openalex.org/keywords/relational-algebra","display_name":"relational algebra","score":0.796999990940094},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"denotational semantics","score":0.8849999904632568},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"operational semantics","score":0.9470000267028809},{"id":"https://openalex.org/keywords/executable-semantics","display_name":"executable semantics","score":0.9020000100135803},{"id":"https://openalex.org/keywords/equational-reasoning","display_name":"equational reasoning","score":0.7760000228881836},{"id":"https://openalex.org/keywords/fixed-point-operators","display_name":"fixed point operator","score":0.6349999904632568},{"id":"https://openalex.org/keywords/unification-algorithms","display_name":"unification algorithms","score":0.847000002861023},{"id":"https://openalex.org/keywords/allegory","display_name":"allegory","score":0.875},{"id":"https://openalex.org/keywords/categorical-semantics","display_name":"categorical semantics","score":0.3440000116825104},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.6190000176429749},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"abstract interpretation","score":0.8149999976158142},{"id":"https://openalex.org/keywords/partial-evaluation","display_name":"partial evaluation","score":0.6520000100135803},{"id":"https://openalex.org/keywords/correctness-proofs","display_name":"correctness proofs","score":0.3799999952316284},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"higher-order logic","score":0.5929999947547913},{"id":"https://openalex.org/keywords/set-theory","display_name":"set theory","score":0.6639999747276306},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.5099999904632568}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6886368989944458},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5978564620018005},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.557311475276947},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5359941720962524},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4670606553554535},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.41796037554740906},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3610283136367798},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2096390426158905},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.20868/upm.thesis.12705","doi":"https://doi.org/10.20868/upm.thesis.12705","is_oa":true,"landing_page_url":"https://doi.org/10.20868/upm.thesis.12705","pdf_url":"https://oa.upm.es/12705/1/EMILIO_JESUS_GALLEGO_ARIAS.pdf","source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universidad Polit\u00e9cnica de Madrid","raw_type":"dissertation"},{"id":"pmh:oai:dnet:archivodigit::3278f570ca4cf84516c433eabd8b4949","doi":null,"is_oa":true,"landing_page_url":"http://oa.upm.es/12705/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:www.tdx.cat:10803/452285","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10803/452285","pdf_url":null,"source":{"id":"https://openalex.org/S4306401111","display_name":"Tesis Doctorals en Xarxa (Consorci de Serveis Universitaris de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210090028","host_organization_name":"Consorci de Serveis Universitaris de Catalunya","host_organization_lineage":["https://openalex.org/I4210090028"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:hispana.mcu.es:61090531","doi":null,"is_oa":true,"landing_page_url":"https://hispana.mcu.es/es/registros/registro.do?tipoRegistro=MTD&idBib=61090531","pdf_url":null,"source":{"id":"https://openalex.org/S4377196108","display_name":"Hispana","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:oa.upm.es:12705","doi":null,"is_oa":true,"landing_page_url":"https://oa.upm.es/12705/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402421","display_name":"Archivo Digital UPM (Universidad Polit\u00e9cnica de Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:www.tdx.cat:10803/491157","doi":null,"is_oa":true,"landing_page_url":"http://oa.upm.es/12705/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401111","display_name":"Tesis Doctorals en Xarxa (Consorci de Serveis Universitaris de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210090028","host_organization_name":"Consorci de Serveis Universitaris de Catalunya","host_organization_lineage":["https://openalex.org/I4210090028"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"mag:1774174195","doi":null,"is_oa":false,"landing_page_url":"https://www.cri.ensmp.fr/people/gallego/papers/EJGA-PHD.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.20868/upm.thesis.12705","doi":"https://doi.org/10.20868/upm.thesis.12705","is_oa":true,"landing_page_url":"https://doi.org/10.20868/upm.thesis.12705","pdf_url":"https://oa.upm.es/12705/1/EMILIO_JESUS_GALLEGO_ARIAS.pdf","source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universidad Polit\u00e9cnica de Madrid","raw_type":"dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4303970003.pdf","grobid_xml":"https://content.openalex.org/works/W4303970003.grobid-xml"},"referenced_works_count":178,"referenced_works":["https://openalex.org/W1115370","https://openalex.org/W23023570","https://openalex.org/W105203805","https://openalex.org/W107975334","https://openalex.org/W116566670","https://openalex.org/W122154057","https://openalex.org/W145092378","https://openalex.org/W160811697","https://openalex.org/W164319552","https://openalex.org/W179790938","https://openalex.org/W187040695","https://openalex.org/W206397652","https://openalex.org/W1481345806","https://openalex.org/W1494812539","https://openalex.org/W1496444438","https://openalex.org/W1497991103","https://openalex.org/W1504265384","https://openalex.org/W1504949952","https://openalex.org/W1506492451","https://openalex.org/W1508451735","https://openalex.org/W1508633160","https://openalex.org/W1520893111","https://openalex.org/W1522154830","https://openalex.org/W1522408124","https://openalex.org/W1534192350","https://openalex.org/W1537854563","https://openalex.org/W1538086449","https://openalex.org/W1541434994","https://openalex.org/W1543641760","https://openalex.org/W1544039626","https://openalex.org/W1547439240","https://openalex.org/W1556604985","https://openalex.org/W1557561422","https://openalex.org/W1559188380","https://openalex.org/W1559402073","https://openalex.org/W1567458418","https://openalex.org/W1570280013","https://openalex.org/W1581816844","https://openalex.org/W1583295953","https://openalex.org/W1584978202","https://openalex.org/W1589232796","https://openalex.org/W1592287058","https://openalex.org/W1592696017","https://openalex.org/W1593507982","https://openalex.org/W1594084984","https://openalex.org/W1594475705","https://openalex.org/W1594900487","https://openalex.org/W1602567617","https://openalex.org/W1604972677","https://openalex.org/W1612885523","https://openalex.org/W1663471753","https://openalex.org/W1760022664","https://openalex.org/W1763199018","https://openalex.org/W1766332311","https://openalex.org/W1796676969","https://openalex.org/W1801920691","https://openalex.org/W1819779993","https://openalex.org/W1830421783","https://openalex.org/W1920589666","https://openalex.org/W1936084083","https://openalex.org/W1960833838","https://openalex.org/W1964754311","https://openalex.org/W1964964089","https://openalex.org/W1965620900","https://openalex.org/W1968386045","https://openalex.org/W1971163988","https://openalex.org/W1980827618","https://openalex.org/W1982243747","https://openalex.org/W1982776852","https://openalex.org/W1983937740","https://openalex.org/W1986121459","https://openalex.org/W1989783863","https://openalex.org/W1991923545","https://openalex.org/W1992391625","https://openalex.org/W1993804761","https://openalex.org/W1993890055","https://openalex.org/W1997143185","https://openalex.org/W2002273357","https://openalex.org/W2004843654","https://openalex.org/W2004886116","https://openalex.org/W2006574118","https://openalex.org/W2006804775","https://openalex.org/W2007435074","https://openalex.org/W2007757832","https://openalex.org/W2009944560","https://openalex.org/W2016799432","https://openalex.org/W2023578426","https://openalex.org/W2033647831","https://openalex.org/W2034676877","https://openalex.org/W2035613187","https://openalex.org/W2037417918","https://openalex.org/W2038037493","https://openalex.org/W2038072729","https://openalex.org/W2040792231","https://openalex.org/W2040848372","https://openalex.org/W2042211420","https://openalex.org/W2047596129","https://openalex.org/W2049362364","https://openalex.org/W2053384008","https://openalex.org/W2055483780","https://openalex.org/W2056240511","https://openalex.org/W2058402932","https://openalex.org/W2058958439","https://openalex.org/W2059054133","https://openalex.org/W2060440626","https://openalex.org/W2061392495","https://openalex.org/W2062950667","https://openalex.org/W2063068243","https://openalex.org/W2063727779","https://openalex.org/W2068328548","https://openalex.org/W2079189204","https://openalex.org/W2081810835","https://openalex.org/W2086747974","https://openalex.org/W2087937565","https://openalex.org/W2088735483","https://openalex.org/W2089111669","https://openalex.org/W2093111544","https://openalex.org/W2095835314","https://openalex.org/W2096947206","https://openalex.org/W2097166325","https://openalex.org/W2098577293","https://openalex.org/W2099792091","https://openalex.org/W2100738443","https://openalex.org/W2101225644","https://openalex.org/W2102625227","https://openalex.org/W2103497426","https://openalex.org/W2105683431","https://openalex.org/W2106458801","https://openalex.org/W2108852136","https://openalex.org/W2108857165","https://openalex.org/W2110393172","https://openalex.org/W2113722134","https://openalex.org/W2116325485","https://openalex.org/W2118229393","https://openalex.org/W2123396057","https://openalex.org/W2123887510","https://openalex.org/W2126018011","https://openalex.org/W2127052734","https://openalex.org/W2127114597","https://openalex.org/W2129042098","https://openalex.org/W2129708147","https://openalex.org/W2131165548","https://openalex.org/W2132082819","https://openalex.org/W2132119724","https://openalex.org/W2132239740","https://openalex.org/W2132981613","https://openalex.org/W2135457621","https://openalex.org/W2136202785","https://openalex.org/W2140073528","https://openalex.org/W2142044962","https://openalex.org/W2144048190","https://openalex.org/W2150910180","https://openalex.org/W2151776439","https://openalex.org/W2152131859","https://openalex.org/W2152944474","https://openalex.org/W2154286698","https://openalex.org/W2157450565","https://openalex.org/W2158546077","https://openalex.org/W2165140747","https://openalex.org/W2165434002","https://openalex.org/W2166528689","https://openalex.org/W2167552476","https://openalex.org/W2168547990","https://openalex.org/W2170114248","https://openalex.org/W2172176924","https://openalex.org/W2173023892","https://openalex.org/W2329766482","https://openalex.org/W2383308760","https://openalex.org/W2545779753","https://openalex.org/W2569098540","https://openalex.org/W2585220424","https://openalex.org/W2620165141","https://openalex.org/W2911271085","https://openalex.org/W2911838076","https://openalex.org/W2912255765","https://openalex.org/W2913347770","https://openalex.org/W3095065786","https://openalex.org/W3103174631"],"related_works":["https://openalex.org/W141409755","https://openalex.org/W200979903","https://openalex.org/W7100138060","https://openalex.org/W7073896338","https://openalex.org/W137631648","https://openalex.org/W7098887252","https://openalex.org/W7096004065","https://openalex.org/W2340975840","https://openalex.org/W181087287","https://openalex.org/W6980729817"],"abstract_inverted_index":{"El":[0,426],"c\u00e1lculo":[1,378],"de":[2,35,39,44,51,55,59,90,118,131,141,154,159,161,163,182,185,195,208,217,219,242,256,266,271,276,291,296,306,309,333,341,351,362,370,379,384,388,396,413,420,423,436,439,458],"relaciones":[3,221,352],"binarias":[4],"fue":[5],"creado":[6],"por":[7,19,408],"De":[8,470],"Morgan":[9,471],"en":[10,16,151,214,313,344,381],"1860":[11],"para":[12,70,227,282,376],"ser":[13,171],"posteriormente":[14],"desarrollado":[15],"gran":[17],"medida":[18],"Peirce":[20,479],"y":[21,26,61,68,138,253,311,398,443],"Schr\u00f6der.":[22],"Tarski,":[23,497],"Givant,":[24,498],"Freyd":[25,758],"Scedrov":[27,501],"demostraron":[28],"que":[29,99,123,325,337,402,451],"las":[30,124,176,314,389],"\u00e1lgebras":[31,125],"relacionales":[32,126],"son":[33,235],"capaces":[34],"formalizar":[36],"la":[37,42,49,71,86,100,136,142,152,183,186,192,196,215,224,240,246,251,269,277,283,289,331,345,354,357,368,394,414,417,434,449],"l\u00f3gica":[38,43,73,144,285],"primer":[40],"orden,":[41],"orden":[45],"superior":[46],"as\u00ed":[47,260],"como":[48,80,261,433],"teor\u00eda":[50,137,216,290],"conjuntos.":[52],"A":[53,789],"partir":[54],"los":[56,148,409],"resultados":[57],"matem\u00e1ticos":[58],"Tarski":[60],"Freyd,":[62,499],"esta":[63,257],"tesis":[64,278],"desarrolla":[65,279],"sem\u00e1nticas":[66,93,177],"denotacionales":[67],"operacionales":[69],"programaci\u00f3n":[72,143,284],"con":[74,128,145,201,223,286],"restricciones":[75,146,202,287],"usando":[76,288],"el":[77,98,105,116,232,326,377,403,454],"\u00e1lgebra":[78,295],"relacional":[79],"base.":[81],"La":[82,156,180,211,273,322,411],"idea":[83,546],"principal":[84,96],"es":[85,97,102,203,316,330],"utilizaci\u00f3n":[87,395],"del":[88,108,294],"concepto":[89],"sem\u00e1ntica":[91,225,281],"ejecutable,":[92],"cuya":[94],"caracter\u00edstica":[95],"ejecuci\u00f3n":[101,358],"posible":[103,317],"utilizando":[104,175],"razonamiento":[106,113],"est\u00e1ndar":[107,140,213,226],"universo":[109],"sem\u00e1ntico,":[110],"este":[111,119],"caso,":[112],"ecuacional.":[114],"En":[115,191],"caso":[117],"trabajo,":[120],"se":[121,249,262,301,372,452],"muestra":[122],"distributivas":[127],"un":[129,198,206,264,319,363,374,421],"operador":[130],"punto":[132],"fijo":[133],"capturan":[134],"toda":[135],"metateor\u00eda":[139],"incluyendo":[147],"\u00e1rboles":[149],"utilizados":[150],"b\u00fasqueda":[153],"demostraciones.":[155],"mayor":[157],"parte":[158,194,275],"t\u00e9cnicas":[160],"optimizaci\u00f3n":[162],"programas,":[164],"evaluaci\u00f3n":[165],"parcial":[166],"e":[167,339],"interpretaci\u00f3n":[168,212],"abstracta":[169],"pueden":[170],"llevadas":[172,236],"a":[173,205,237,446,448,509,551,559,566,639,654,703,719,748,780,786,795,803,824,839,854],"cabo":[174,238],"aqu\u00ed":[178],"presentadas.":[179],"demostraci\u00f3n":[181],"correcci\u00f3n":[184,252],"implementaci\u00f3n":[187],"resulta":[188],"extremadamente":[189],"sencilla.":[190],"primera":[193,247,346],"tesis,":[197],"programa":[199,233,320],"l\u00f3gico":[200],"traducido":[204,234],"conjunto":[207],"t\u00e9rminos":[209],"relacionales.":[210],"conjuntos":[218],"dichas":[220],"coincide":[222],"CLP.":[228],"Las":[229],"consultas":[230],"contra":[231],"mediante":[239,268],"reescritura":[241,270,342,369],"relaciones.":[243,272],"Para":[244,299],"concluir":[245],"parte,":[248],"demuestra":[250],"equivalencia":[254],"operacional":[255],"nueva":[258],"sem\u00e1ntica,":[259],"define":[263,373,583],"algoritmo":[265,375],"unificaci\u00f3n":[267],"segunda":[274],"una":[280,334],"alegor\u00edas\u2014versi\u00f3n":[292],"categ\u00f3rica":[293,336],"relaciones\u2014de":[297],"Freyd.":[298],"ello,":[300],"definen":[302],"dos":[303],"nuevos":[304],"conceptos":[305],"Categor\u00eda":[307],"Regular":[308,807],"Lawvere":[310,808],"_-Alegor\u00eda,":[312],"cuales":[315],"interpretar":[318],"l\u00f3gico.":[321],"ventaja":[323],"fundamental":[324,552],"enfoque":[327],"categ\u00f3rico":[328,428],"aporta":[329,429],"definici\u00f3n":[332],"m\u00e1quina":[335,355,415],"mejora":[338],"sistema":[340],"presentado":[343],"parte.":[347],"Gracias":[348],"al":[349],"uso":[350],"tabulares,":[353],"modela":[356],"eficiente":[359],"sin":[360],"salir":[361],"marco":[364,427],"estrictamente":[365],"formal.":[366],"Utilizando":[367],"diagramas,":[371],"pullbacks":[380],"Categor\u00edas":[382],"Regulares":[383],"Lawvere.":[385],"Los":[386],"dominios":[387],"tabulaciones":[390],"aportan":[391],"informaci\u00f3n":[392],"sobre":[393],"memoria":[397],"variable":[399],"libres,":[400],"mientras":[401],"estado":[404],"compartido":[405],"queda":[406],"capturado":[407],"diagramas.":[410],"especificaci\u00f3n":[412],"induce":[416],"derivaci\u00f3n":[418],"formal":[419,525],"juego":[422],"instrucciones":[424],"eficiente.":[425],"otras":[430,444],"importantes":[431],"ventajas,":[432],"posibilidad":[435],"incorporar":[437],"tipos":[438],"datos":[440],"algebraicos,":[441],"funciones":[442],"extensiones":[445],"Prolog,":[447],"vez":[450],"conserva":[453],"car\u00e1cter":[455],"100%":[456],"declarativo":[457],"nuestra":[459],"sem\u00e1ntica.":[460],"ABSTRACT":[461],"The":[462,545,761,831,846],"calculus":[463],"of":[464,494,512,547,592,599,638,665,682,691,706,728,735,751,754,763,775,806,853,856,881,902,905],"binary":[465,700],"relations":[466,701,755],"was":[467],"introduced":[468],"by":[469,478,712,718,744,757,779,884,891],"in":[472,487,554,624,657,702,785,794,799,811],"1860,":[473],"to":[474,611,628,673,699,768,877],"be":[475,573],"greatly":[476],"developed":[477,756],"and":[480,500,520,535,561,580,601,650,725,759,869,912,914],"Schr\u00f6der,":[481],"as":[482,484,558,675],"well":[483],"many":[485],"others":[486],"the":[488,577,584,590,597,606,629,635,666,683,688,692,707,729,732,736,738,752,766,773,812,829,851,870,878,889,894,898],"twentieth":[489],"century.":[490],"Using":[491],"different":[492],"formulations":[493],"relational":[495],"structures,":[496],"have":[502],"shown":[503],"how":[504,893],"relation":[505,543,709,739,836],"algebras":[506,710],"can":[507,572],"provide":[508],"variable-free":[510],"way":[511],"formalizing":[513],"first":[514,689],"order":[515,518],"logic,":[516],"higher":[517],"logic":[519,790],"set":[521],"theory,":[522,747],"among":[523],"other":[524],"systems.":[526],"Building":[527],"on":[528,835],"those":[529],"mathematical":[530],"results,":[531,603],"we":[532,631,694,822],"develop":[533,823],"denotational":[534,600,636],"operational":[536,602,726,861],"semantics":[537,549,567,613,637,767,896],"for":[538,614],"Constraint":[539,696],"Logic":[540,615,697],"Programming":[541],"using":[542,576,680,745],"algebra.":[544],"executable":[548,568],"plays":[550],"role":[553],"this":[555,588,860],"work,":[556,589,693,737],"both":[557],"philosophical":[560],"technical":[562],"foundation.":[563],"We":[564,722,887],"call":[565],"when":[569],"program":[570,641,669,783,791,815,819],"execution":[571,871],"carried":[574,678,716],"out":[575,679,717],"regular":[578],"theory":[579],"tools":[581],"that":[582,634],"semantic":[585],"universe.":[586],"Throughout":[587],"use":[591,762],"pure":[593],"algebraic":[594,618,626,659,740],"reasoning":[595],"is":[596,622,642,715,742,792,798,833,848,873],"basis":[598],"eliminating":[604],"all":[605],"classical":[607],"non-equational":[608],"meta-theory":[609],"associated":[610],"traditional":[612],"Programming.":[616],"All":[617],"reasoning,":[619],"including":[620],"execution,":[621],"performed":[623],"an":[625],"way,":[627],"point":[630],"could":[632],"state":[633,784,883],"CLP":[640],"directly":[643,827],"executable.":[644],"Techniques":[645],"like":[646,663,908],"optimization,":[647],"partial":[648],"evaluation":[649],"abstract":[651,909],"interpretation":[652],"find":[653],"natural":[655],"place":[656],"our":[658],"models.":[660],"Other":[661],"properties,":[662],"correctness":[664],"implementation":[667],"or":[668,782],"transformation":[670],"are":[671,677],"easy":[672],"check,":[674],"they":[676],"instances":[681],"general":[684],"equational":[685],"theory.":[686],"In":[687,731,859],"part":[690,734],"translate":[695],"Programs":[698],"modified":[704],"version":[705,750],"distributive":[708],"used":[711,778],"Tarski.":[713],"Execution":[714],"rewriting":[720],"system.":[721],"prove":[723],"adequacy":[724],"equivalence":[727],"semantics.":[730,830],"second":[733],"approach":[741],"improved":[743],"allegory":[746],"categorical":[749,825,885,895],"algebra":[753],"Scedrov.":[760],"allegories":[764],"lifts":[765],"typed":[769],"relations,":[770],"which":[771,797],"capture":[772],"number":[774],"logical":[776],"variables":[777],"predicate":[781],"declarative":[787],"way.":[788],"interpreted":[793],"_-allegory,":[796],"turn":[800],"generated":[801],"from":[802,828],"new":[804],"notion":[805,855],"Category.":[809],"As":[810],"untyped":[813],"case,":[814],"translation":[816],"coincides":[817],"with":[818,838,850],"interpretation.":[820],"Thus,":[821],"machine":[826,832],"based":[834],"composition,":[837],"pullback":[840],"calculation":[841],"algorithm":[842,847],"at":[843],"its":[844],"core.":[845],"defined":[849],"help":[852],"diagram":[857],"rewriting.":[858],"interpretation,":[862],"types":[863],"represent":[864],"information":[865],"about":[866],"memory":[867],"allocation":[868],"mechanism":[872],"more":[874],"efficient,":[875],"thanks":[876],"faithful":[879],"representation":[880],"shared":[882],"projections.":[886],"finish":[888],"work":[890],"illustrating":[892],"allows":[897],"incorporation":[899],"into":[900],"Prolog":[901],"constructs":[903],"typical":[904],"Functional":[906],"Programming,":[907],"data":[910],"types,":[911],"strict":[913],"lazy":[915],"functions.":[916]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2022-10-10T00:00:00"}