{"id":"https://openalex.org/W2261261802","doi":"https://doi.org/10.4230/lipics.fsttcs.2014.391","title":"Metaconfluence of Calculi with Explicit Substitutions at a Distance","display_name":"Metaconfluence of Calculi with Explicit Substitutions at a Distance","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2261261802","doi":"https://doi.org/10.4230/lipics.fsttcs.2014.391","mag":"2261261802"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:4858","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.391","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.391","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004006407","display_name":"Fl\u00e1vio L. C. de Moura","orcid":null},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"de Moura, Fl\u00e1vio L. C.","raw_affiliation_strings":["Universidade de Bras\u00edlia, Bras\u00edlia, Brazil"],"affiliations":[{"raw_affiliation_string":"Universidade de Bras\u00edlia, Bras\u00edlia, Brazil","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077330939","display_name":"Delia Kesner","orcid":"https://orcid.org/0000-0003-4254-3129"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kesner, Delia","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5043206848","display_name":"Maur\u00edcio Ayala-Rinc\u00f3n","orcid":"https://orcid.org/0000-0003-0089-3905"},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Ayala-Rinc\u00f3n, Mauricio","raw_affiliation_strings":["Universidade de Bras\u00edlia, Bras\u00edlia, Brazil"],"affiliations":[{"raw_affiliation_string":"Universidade de Bras\u00edlia, Bras\u00edlia, Brazil","institution_ids":["https://openalex.org/I150729083"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004006407"],"corresponding_institution_ids":["https://openalex.org/I150729083"],"apc_list":null,"apc_paid":null,"fwci":0.409,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76244143,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":"29","first_page":"391","last_page":"402"},"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.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.992900013923645,"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/T10142","display_name":"Formal Methods in Verification","score":0.9771000146865845,"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/confluence","display_name":"Confluence","score":0.9455751180648804},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.9086582660675049},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.7768058776855469},{"id":"https://openalex.org/keywords/uniqueness","display_name":"Uniqueness","score":0.7408996820449829},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.7350770831108093},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.6701518297195435},{"id":"https://openalex.org/keywords/normalization","display_name":"Normalization (sociology)","score":0.548005998134613},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5137213468551636},{"id":"https://openalex.org/keywords/substitution","display_name":"Substitution (logic)","score":0.4989933967590332},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4819326400756836},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3782377243041992},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.36975613236427307},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08555829524993896}],"concepts":[{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.9455751180648804},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.9086582660675049},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.7768058776855469},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.7408996820449829},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7350770831108093},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6701518297195435},{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.548005998134613},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5137213468551636},{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.4989933967590332},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4819326400756836},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3782377243041992},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36975613236427307},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08555829524993896},{"id":"https://openalex.org/C19165224","wikidata":"https://www.wikidata.org/wiki/Q23404","display_name":"Anthropology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:4858","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.391","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},{"id":"doi:10.4230/lipics.fsttcs.2014.391","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fsttcs.2014.391","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""},{"id":"mag:2261261802","is_oa":false,"landing_page_url":"https://drops.dagstuhl.de/opus/volltexte/2014/4858/pdf/34.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306418453","display_name":"Foundations of Software Technology and Theoretical Computer Science","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Foundations of Software Technology and Theoretical Computer Science","raw_type":null}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:4858","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.391","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W16606802","https://openalex.org/W171073024","https://openalex.org/W431967322","https://openalex.org/W1488897269","https://openalex.org/W1489649398","https://openalex.org/W1529760921","https://openalex.org/W1583295953","https://openalex.org/W1985126655","https://openalex.org/W1987185889","https://openalex.org/W1992452788","https://openalex.org/W2010239186","https://openalex.org/W2017143801","https://openalex.org/W2024902159","https://openalex.org/W2028576530","https://openalex.org/W2118420900","https://openalex.org/W2132119724","https://openalex.org/W2134776161","https://openalex.org/W2138483455","https://openalex.org/W2154273644","https://openalex.org/W2157460885","https://openalex.org/W2287743366"],"related_works":["https://openalex.org/W2540797813","https://openalex.org/W2912255765","https://openalex.org/W2280940844","https://openalex.org/W2183078644","https://openalex.org/W2784616667","https://openalex.org/W365073415","https://openalex.org/W2152317475","https://openalex.org/W1851409572","https://openalex.org/W2563600251","https://openalex.org/W1830817982","https://openalex.org/W2904888030","https://openalex.org/W2046825040","https://openalex.org/W2956534311","https://openalex.org/W2799073568","https://openalex.org/W2021616063","https://openalex.org/W1463471154","https://openalex.org/W2954272950","https://openalex.org/W2007514328","https://openalex.org/W2825587979","https://openalex.org/W2899444345"],"abstract_inverted_index":{"Confluence":[0],"is":[1,17,58],"a":[2,79,97,112,126,172],"key":[3],"property":[4],"of":[5,11,56,81,90,106,154,169,174],"rewriting":[6,136],"calculi":[7,82],"that":[8,33,53,63,87,94,114,159],"guarantees":[9,22],"uniqueness":[10],"normal-forms":[12],"when":[13],"they":[14,122,139],"exist.":[15],"Metaconfluence":[16],"even":[18],"more":[19],"general,":[20],"and":[21,93,163],"confluence":[23],"on":[24,108,128],"open/meta":[25],"terms,":[26],"i.e.":[27,121,138],"terms":[28,48],"with":[29,38,46,83,156],"holes,":[30],"called":[31],"metavariables":[32],"can":[34],"be":[35],"filled":[36],"up":[37],"other":[39],"(open/meta)":[40],"terms.":[41],"The":[42,130],"difficulty":[43],"to":[44],"deal":[45],"open":[47],"comes":[49],"from":[50],"the":[51,54,70,104,148],"fact":[52],"structure":[55],"metaterms":[57,109],"only":[59],"partially":[60],"known,":[61],"so":[62],"some":[64],"reduction":[65,107,132,170],"rules":[66],"became":[67],"blocked":[68],"by":[69],"metavariables.":[71],"In":[72],"this":[73],"work,":[74],"we":[75,101],"establish":[76],"metaconfluence":[77,164],"for":[78,147],"family":[80,153],"explicit":[84,115,157],"substitutions":[85,116,158],"(ES)":[86],"enjoy":[88,160],"preservation":[89],"strong-normalization":[91],"(PSN)":[92],"act":[95,124],"at":[96,125],"distance.":[98],"For":[99],"that,":[100],"first":[102,149],"extend":[103],"notion":[105],"in":[110],"such":[111],"way":[113],"are":[117,134],"never":[118],"structurally":[119],"moved,":[120],"also":[123],"distance":[127],"metaterms.":[129],"resulting":[131],"relations":[133],"still":[135],"systems,":[137],"do":[140],"not":[141],"include":[142],"equational":[143],"axioms,":[144],"thus":[145],"providing":[146],"time":[150],"an":[151],"interesting":[152],"lambda-calculi":[155],"both":[161],"PSN":[162],"without":[165],"requiring":[166],"sophisticated":[167],"notions":[168],"modulo":[171],"set":[173],"equations.":[175]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}