{"id":"https://openalex.org/W3014523212","doi":"https://doi.org/10.13053/cys-24-1-2940","title":"Presburger Constraints in Trees","display_name":"Presburger Constraints in Trees","publication_year":2020,"publication_date":"2020-03-30","ids":{"openalex":"https://openalex.org/W3014523212","doi":"https://doi.org/10.13053/cys-24-1-2940","mag":"3014523212"},"language":"es","primary_location":{"id":"doi:10.13053/cys-24-1-2940","is_oa":false,"landing_page_url":"https://doi.org/10.13053/cys-24-1-2940","pdf_url":null,"source":{"id":"https://openalex.org/S61446325","display_name":"Computaci\u00f3n y Sistemas","issn_l":"1405-5546","issn":["1405-5546","2007-9737"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319599","host_organization_name":"National Polytechnic Institute","host_organization_lineage":["https://openalex.org/P4310319599"],"host_organization_lineage_names":["National Polytechnic Institute"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computaci\u00f3n y Sistemas","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086701100","display_name":"Everardo B\u00e1rcenas","orcid":"https://orcid.org/0000-0002-1523-1579"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Everardo Barcenas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017740966","display_name":"Edgard Ben\u00edtez Guerrero","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edgard Ben\u00edtez Guerrero","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045857927","display_name":"Jes\u00fas Lavalle","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jes\u00fas Lavalle","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5031737971","display_name":"Guillermo Molero\u2013Castillo","orcid":"https://orcid.org/0000-0002-6330-6408"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guillermo Molero Castillo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1354,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53265768,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"24","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9994000196456909,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/presburger-arithmetic","display_name":"Presburger arithmetic","score":0.9422190189361572},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.8661569356918335},{"id":"https://openalex.org/keywords/exptime","display_name":"EXPTIME","score":0.8360209465026855},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.7632037997245789},{"id":"https://openalex.org/keywords/xpath","display_name":"XPath","score":0.7290922403335571},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5249521732330322},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4545423984527588},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.4313451051712036},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.42560359835624695},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39957892894744873},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.38511133193969727},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3347395658493042},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.2543025612831116},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20672714710235596},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.19801628589630127},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.1352730095386505}],"concepts":[{"id":"https://openalex.org/C5852641","wikidata":"https://www.wikidata.org/wiki/Q956059","display_name":"Presburger arithmetic","level":3,"score":0.9422190189361572},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8661569356918335},{"id":"https://openalex.org/C56049555","wikidata":"https://www.wikidata.org/wiki/Q1276570","display_name":"EXPTIME","level":4,"score":0.8360209465026855},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7632037997245789},{"id":"https://openalex.org/C2780213375","wikidata":"https://www.wikidata.org/wiki/Q16340","display_name":"XPath","level":4,"score":0.7290922403335571},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5249521732330322},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4545423984527588},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.4313451051712036},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.42560359835624695},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39957892894744873},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.38511133193969727},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3347395658493042},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.2543025612831116},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20672714710235596},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.19801628589630127},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.1352730095386505},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C55348073","wikidata":"https://www.wikidata.org/wiki/Q595926","display_name":"XML validation","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.13053/cys-24-1-2940","is_oa":false,"landing_page_url":"https://doi.org/10.13053/cys-24-1-2940","pdf_url":null,"source":{"id":"https://openalex.org/S61446325","display_name":"Computaci\u00f3n y Sistemas","issn_l":"1405-5546","issn":["1405-5546","2007-9737"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319599","host_organization_name":"National Polytechnic Institute","host_organization_lineage":["https://openalex.org/P4310319599"],"host_organization_lineage_names":["National Polytechnic Institute"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computaci\u00f3n y Sistemas","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1492684518","https://openalex.org/W1998912565","https://openalex.org/W2022002457","https://openalex.org/W2116817369","https://openalex.org/W2168910152","https://openalex.org/W2563722128","https://openalex.org/W2799335769","https://openalex.org/W2949769483","https://openalex.org/W2951982224"],"related_works":["https://openalex.org/W4302272215","https://openalex.org/W2955773350","https://openalex.org/W2965350305","https://openalex.org/W4390949567","https://openalex.org/W3209732136","https://openalex.org/W4256275449","https://openalex.org/W3014523212","https://openalex.org/W2026191634","https://openalex.org/W2059215363","https://openalex.org/W1786478901"],"abstract_inverted_index":{"The":[0],"fully":[1,47],"enriched":[2,48],"\u00b5-calculus":[3,49,68],"is":[4,37,50,98,121],"an":[5],"expressive":[6],"propositional":[7],"modal":[8],"logic":[9,25,36],"with":[10,72,87,115,135],"least":[11],"and":[12,18,117,159],"greatest":[13],"fixed-points,":[14],"nominals,":[15],"inverse":[16],"programs":[17],"graded":[19,78],"modalities.":[20],"Several":[21],"fragments":[22],"of":[23,84,109,128,157],"this":[24,96],"are":[26,57,141],"known":[27],"to":[28,89],"be":[29],"decidable":[30,51,99,107],"in":[31,52,100,126],"EXPTIME.":[32,101],"However,":[33],"the":[34,46,61,66,82,129],"full":[35],"undecidable.":[38],"Nevertheless,":[39],"it":[40],"has":[41],"been":[42],"recently":[43],"shown":[44],"that":[45,95],"EXPTIME":[53],"when":[54],"its":[55],"models":[56],"finite":[58],"trees.":[59],"In":[60,102],"present":[62],"work,":[63],"we":[64,104],"study":[65],"fully-enriched":[67],"for":[69],"trees":[70],"extended":[71],"Presburger":[73,90,136],"constraints.":[74],"These":[75,144],"constraints":[76,137],"generalize":[77],"modalities":[79],"by":[80,123],"restricting":[81],"number":[83],"children":[85,139],"nodes":[86],"respect":[88],"arithmetic":[91],"expressions.":[92],"We":[93],"show":[94],"extension":[97],"addition,":[103],"also":[105,142],"identify":[106],"extensions":[108,156],"regular":[110],"tree":[111],"languages":[112],"(XML":[113],"schemas)":[114],"interleaving":[116],"counting":[118,155],"operators.":[119],"This":[120],"achieved":[122],"alinear":[124],"characterization":[125],"terms":[127],"logic.":[130],"Regular":[131],"path":[132],"queries":[133],"(XPath)":[134],"on":[138,154],"paths":[140],"characterized.":[143],"results":[145],"imply":[146],"new":[147],"optimal":[148],"reasoning":[149],"(emptiness,":[150],"containment,":[151],"equivalence)":[152],"bounds":[153],"XPathqueries":[158],"XML":[160],"schemas.":[161]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}