{"id":"https://openalex.org/W798097588","doi":"https://doi.org/10.5821/dissertation-2117-95490","title":"Variants of unification considering compression and context variables","display_name":"Variants of unification considering compression and context variables","publication_year":2014,"publication_date":"2014-05-30","ids":{"openalex":"https://openalex.org/W798097588","doi":"https://doi.org/10.5821/dissertation-2117-95490","mag":"798097588"},"language":"en","primary_location":{"id":"doi:10.5821/dissertation-2117-95490","is_oa":true,"landing_page_url":"https://doi.org/10.5821/dissertation-2117-95490","pdf_url":"https://upcommons.upc.edu/bitstream/2117/95490/1/TAGC1de1.pdf","source":null,"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Catalunya","raw_type":"dissertation"},"type":"dissertation","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://upcommons.upc.edu/bitstream/2117/95490/1/TAGC1de1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015542293","display_name":"Adri\u00e0 Gasc\u00f3n","orcid":"https://orcid.org/0000-0002-1807-8311"},"institutions":[{"id":"https://openalex.org/I4210118959","display_name":"Carmeq (Germany)","ror":"https://ror.org/02bwrq566","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210118959"]},{"id":"https://openalex.org/I4210152452","display_name":"Consorzio Interuniversitario Nazionale per l'Informatica","ror":"https://ror.org/03v8v5y65","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210152452"]},{"id":"https://openalex.org/I71353707","display_name":"Enel (Italy)","ror":"https://ror.org/052fdp564","country_code":"IT","type":"company","lineage":["https://openalex.org/I71353707"]},{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["DE","ES","IT"],"is_corresponding":true,"raw_author_name":"Gasc\u00f3n Caro, Adri\u00e0","raw_affiliation_strings":["Miguel i en Guillem","la Carme \u00c0lvarez,","sota la direcci\u00f3 del doctor","Barcelona, Abril 2014","presentada al Departament de Llenguatges i Sistemes Inform\u00e0tics (LSI) de la Universitat Polit\u00e8cnica de Catalunya (UPC) per","experi\u00e8ncia estimulant, especialment","optar al grau de Doctor en inform\u00e0tica per"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Miguel i en Guillem","institution_ids":["https://openalex.org/I71353707"]},{"raw_affiliation_string":"la Carme \u00c0lvarez,","institution_ids":["https://openalex.org/I4210118959"]},{"raw_affiliation_string":"sota la direcci\u00f3 del doctor","institution_ids":[]},{"raw_affiliation_string":"Barcelona, Abril 2014","institution_ids":[]},{"raw_affiliation_string":"presentada al Departament de Llenguatges i Sistemes Inform\u00e0tics (LSI) de la Universitat Polit\u00e8cnica de Catalunya (UPC) per","institution_ids":["https://openalex.org/I9617848"]},{"raw_affiliation_string":"experi\u00e8ncia estimulant, especialment","institution_ids":[]},{"raw_affiliation_string":"optar al grau de Doctor en inform\u00e0tica per","institution_ids":["https://openalex.org/I4210152452"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5015542293"],"corresponding_institution_ids":["https://openalex.org/I4210118959","https://openalex.org/I4210152452","https://openalex.org/I71353707","https://openalex.org/I9617848"],"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/T11269","display_name":"Algorithms and Data Compression","score":0.9991999864578247,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9991999864578247,"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/T11567","display_name":"semigroups and automata theory","score":0.9941999912261963,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9921000003814697,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.8922785520553589},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5741203427314758},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5520669221878052},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.532283365726471},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.5228907465934753},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4430779218673706},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.43812796473503113},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.4221251606941223},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4156857430934906},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4116330146789551},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39382296800613403},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3752809166908264},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2588683068752289},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2055450975894928},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15945395827293396}],"concepts":[{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.8922785520553589},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5741203427314758},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5520669221878052},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.532283365726471},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.5228907465934753},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4430779218673706},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.43812796473503113},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.4221251606941223},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4156857430934906},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4116330146789551},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39382296800613403},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3752809166908264},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2588683068752289},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2055450975894928},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15945395827293396},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5821/dissertation-2117-95490","is_oa":true,"landing_page_url":"https://doi.org/10.5821/dissertation-2117-95490","pdf_url":"https://upcommons.upc.edu/bitstream/2117/95490/1/TAGC1de1.pdf","source":null,"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Catalunya","raw_type":"dissertation"},{"id":"pmh:oai:upcommons.upc.edu:2117/95490","is_oa":false,"landing_page_url":"https://hdl.handle.net/2117/95490","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"TDX (Tesis Doctorals en Xarxa)","raw_type":"Doctoral thesis"},{"id":"pmh:oai:www.tdx.cat:10803/283231","is_oa":true,"landing_page_url":"http://hdl.handle.net/10803/283231","pdf_url":"http://hdl.handle.net/10803/283231","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,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"TDX (Tesis Doctorals en Xarxa)","raw_type":"info:eu-repo/semantics/doctoralThesis"}],"best_oa_location":{"id":"doi:10.5821/dissertation-2117-95490","is_oa":true,"landing_page_url":"https://doi.org/10.5821/dissertation-2117-95490","pdf_url":"https://upcommons.upc.edu/bitstream/2117/95490/1/TAGC1de1.pdf","source":null,"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Catalunya","raw_type":"dissertation"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W798097588.pdf"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W85844715","https://openalex.org/W1486245824","https://openalex.org/W1491846504","https://openalex.org/W1505360679","https://openalex.org/W1510722254","https://openalex.org/W1519768517","https://openalex.org/W1527448164","https://openalex.org/W1567561846","https://openalex.org/W1593799327","https://openalex.org/W1730038947","https://openalex.org/W1836750303","https://openalex.org/W1847375251","https://openalex.org/W1980647766","https://openalex.org/W2000346568","https://openalex.org/W2008683675","https://openalex.org/W2009408613","https://openalex.org/W2030656394","https://openalex.org/W2033770248","https://openalex.org/W2035973850","https://openalex.org/W2041211107","https://openalex.org/W2049785143","https://openalex.org/W2052653988","https://openalex.org/W2059054133","https://openalex.org/W2063039776","https://openalex.org/W2065197261","https://openalex.org/W2074807939","https://openalex.org/W2087096450","https://openalex.org/W2098615595","https://openalex.org/W2100738443","https://openalex.org/W2101992951","https://openalex.org/W2113004376","https://openalex.org/W2113722134","https://openalex.org/W2122839006","https://openalex.org/W2131264963","https://openalex.org/W2135622971","https://openalex.org/W2143237826","https://openalex.org/W2148149459","https://openalex.org/W2148506544","https://openalex.org/W2148628553","https://openalex.org/W2151885154","https://openalex.org/W2153146517","https://openalex.org/W2154790389","https://openalex.org/W2156045808","https://openalex.org/W2166566648","https://openalex.org/W2168518033","https://openalex.org/W2275139177","https://openalex.org/W2283174225","https://openalex.org/W3037434615","https://openalex.org/W4239994702"],"related_works":["https://openalex.org/W2367630557","https://openalex.org/W101666983","https://openalex.org/W2183792531","https://openalex.org/W2595286499","https://openalex.org/W2794344379","https://openalex.org/W2471908688","https://openalex.org/W1845283042","https://openalex.org/W3171337446","https://openalex.org/W2884423176","https://openalex.org/W2117548279"],"abstract_inverted_index":{"Term":[0,250],"unification":[1,55,65,76,97,264],"is":[2,116,183,220,229],"a":[3,158,161,165,213,218,256,274,344,409,507,541,556,599,618,657,742,757,793,812,826],"basic":[4],"operation":[5],"in":[6,13,38,118,160,194,244,273],"several":[7,52,232],"areas":[8],"of":[9,33,54,74,91,103,121,130,154,157,173,179,201,217,249,263],"computer":[10],"science,":[11],"specially":[12],"those":[14],"related":[15],"to":[16,36,49,270],"logic.":[17],"Generally":[18],"speaking,":[19,268],"it":[20],"consists":[21],"on":[22,30,128,170,187,672,769,844],"solving":[23],"equations":[24],"over":[25],"expressions":[26,310],"called":[27],"terms.":[28,84,210],"Depending":[29],"the":[31,39,92,101,114,134,152,171,180,202,208,261],"kind":[32,120],"variables":[34,107,317,377,626,643,652,760,848],"allowed":[35],"occur":[37],"terms":[40,46,188,235],"and":[41,64,140,231,247],"under":[42],"which":[43],"conditions":[44],"two":[45,129],"are":[47,164,236,255],"considered":[48],"be":[50,69,190],"equal,":[51],"frameworks":[53],"such":[56,131],"as":[57,146],"first-order":[58,94],"unification,":[59,61,63],"higher-order":[60],"syntactic":[62,95],"modulo":[66],"theories":[67],"can":[68,189],"distinguished.":[70],"Moreover,":[71,253],"other":[72],"variants":[73,90,336,347,363,640],"term":[75,96,219],"arise":[77],"when":[78,205],"we":[79,88,126],"consider":[80],"nontrivial":[81],"representations":[82],"for":[83,109,234,260],"In":[85],"this":[86,223],"thesis":[87],"study":[89],"classic":[93],"problem":[98],"resulting":[99],"from":[100],"introduction":[102],"context":[104,379,680,687,744],"variables,":[105],"i.e.":[106],"standing":[108],"contexts,":[110],"and/or":[111],"assuming":[112],"that":[113,184],"input":[115],"given":[117],"some":[119],"compressed":[122,132,196],"representation.":[123],"More":[124],"specifically,":[125],"focus":[127],"representations:":[133],"well-known":[135],"Directed":[136],"Acyclic":[137],"Graphs":[138],"(DAGs)":[139],"Singleton":[141],"Tree":[142],"Grammars":[143],"(STGs).":[144],"Similarly":[145],"DAGs":[147],"allow":[148,269],"compression":[149,167,203],"by":[150],"exploiting":[151],"reusement":[153,172],"repeated":[155,174],"instances":[156],"subterm":[159],"term,":[162],"STGs":[163,254],"grammar-based":[166],"mechanism":[168],"based":[169],"(multi)contexts.":[175,439],"An":[176],"interesting":[177],"property":[178],"STG":[181,215,239],"formalism":[182],"many":[185],"operations":[186],"efficiently":[191,278],"performed":[192],"directly":[193],"their":[195],"representation":[197,216,240],"thus":[198],"taking":[199],"advantage":[200],"also":[204],"computing":[206],"with":[207],"represented":[209],"Although":[211],"finding":[212],"minimal":[214,478],"computationally":[221],"difficult,":[222],"limitation":[224],"has":[225,241],"been":[226,242],"successfully":[227],"overcome":[228],"practice,":[230],"STG-compressors":[233],"available.":[237],"The":[238],"applied":[243],"XML":[245,524],"processing":[246],"analysis":[248,262],"Rewrite":[251],"Systems.":[252],"very":[257],"useful":[258],"concept":[259],"problems":[265],"since,":[266],"roughly":[267],"represent":[271],"solutions":[272],"succinct":[275],"but":[276],"still":[277],"verifiable":[279],"form.":[280],"La":[281,509],"unificaci\u00f3":[282],"de":[283,292,316,324,340,351,369,373,376,378,381,383,395,432,438,448,463,469,495,511,522,527,529,531,543,551,561,576,581,585,595,620,627,644,651,670,679,705,709,734,738,748,754,761,775,787,799,814,816,830,840,842,847,849,877,879],"termes":[284,303,322,329,352,453,512,584,704,774,880],"\u00e9s":[285,386,445,485,764,801],"una":[286,476,482,486,676,854],"operaci\u00f3n":[287],"b\u00e1sica":[288],"en":[289,296,306,320,388,393,435,498,614,639,665,681,696,731,862],"diverses":[290,335],"\u00e0rees":[291],"la":[293,300,374,459,499,565,633,658,732,749,831,838],"inform\u00e1tica,":[294],"especialment":[295],"aquelles":[297],"relacionades":[298],"amb":[299,481,513,625,642,759,782],"l\u00f3gica.":[301],"En":[302,780],"generals,":[304],"consisteix":[305],"resoldre":[307,695,861],"equacions":[308],"sobre":[309,452,458],"anomenades":[311],"termes.":[312,341,361,508,532,817],"Depenent":[313],"del":[314,337,348,364,833,857],"tipus":[315],"que":[318,384,446,474,547,557,582,646,690,763,797,820,837],"apareguin":[319],"els":[321,399,411,571,583,703],"i":[323,403,473,525,574,606,623,629,722,804,866],"sota":[325,579],"quines":[326],"condicions":[327],"dos":[328,773],"s\u00f3n":[330,429,536,587,647,707],"considerats":[331],"iguals,":[332],"podem":[333],"definir":[334],"problema":[338,349,365,684,692,753,784,794,858],"d'unificaci\u00f3":[339,350,367,573,622,641,669,768],"A":[342,564,632],"m\u00e9s":[343,612],"m\u00e9s,":[345],"altres":[346],"sorgeixen":[353],"quan":[354,702,714,806,868],"considerem":[355],"representacions":[356,397],"no":[357,700,823],"trivials":[358],"per":[359,506,519,540,598,617,741,756,853],"als":[360],"S'estudia":[362],"cl\u00e0ssic":[366],"sint\u00e1ctica":[368],"primer":[370,577],"ordre":[371,578],"resultants":[372],"introducci\u00f3":[375],"i/o":[380],"l'assumpci\u00f3":[382,580],"l'entrada":[385,586,706],"donada":[387],"format":[389],"comprimit.":[390],"Ens":[391],"centrem":[392,638,664],"l'estudi":[394],"dues":[396],"comprimides:":[398],"grafs":[400,412,719,872],"dirigits":[401,413,720,873],"ac\u00edclics":[402,414,721,874],"les":[404,425,449],"gram\u00e0tiques":[405,426,514,534,591,723,810],"d'arbre":[406],"singlet\u00f3.":[407,592,724],"Similarment":[408],"com":[410,603,792,811,875],"permeten":[415,548],"compressi\u00f3":[416,433,822],"mitjan\u00e7ant":[417],"el":[418,436,752,783,845],"re\u00fas":[419,437],"d'inst\u00e0ncies":[420],"repetides":[421],"d'un":[422,479],"mateix":[423],"subterme,":[424],"d'arbres":[427],"singlet\u00f3":[428,484,515,535],"un":[430,648,666,727,736,765,771,827],"sistema":[431],"basat":[434],"Una":[440],"propietat":[441],"interessant":[442],"d'aquest":[443],"formalisme":[444,813,876],"moltes":[447],"operacions":[450],"comuns":[451],"es":[454,674,693,715,807,859,869],"poden":[455],"realizar":[456],"directament":[457],"versi\u00f3":[460],"comprimida":[461,553],"d'aquests":[462],"forma":[464,496,552,562,710],"eficient,":[465],"sense":[466,554],"cap":[467],"mena":[468],"descompressi\u00f3":[470],"pr\u00e8via.":[471],"Tot":[472],"trobar":[475,735],"representaci\u00f3":[477,510,815,878],"terme":[480],"gram\u00e1tica":[483],"tasca":[487,733],"computacionalment":[488],"dif\u00edcil,":[489],"aquesta":[490,615],"limitaci\u00f3":[491],"ha":[492,502,516,789],"estat":[493,517,790],"resolta":[494],"satisfact\u00f2ria":[497],"pr\u00e0ctica,":[500],"hi":[501],"disponibles":[503],"diversos":[504],"compressors":[505],"\u00fatil":[518,539],"al":[520],"processament":[521],"documents":[523],"l'an\u00e0lisi":[526,542,619],"sistemes":[528],"reescriptura":[530],"Les":[533],"concepte":[537],"molt":[538],"problemas":[544,572],"d'unificaci\u00f3,":[545],"ja":[546],"representar":[549],"solucions":[550],"renunciar":[555],"puguin":[558],"ser":[559],"verificades":[560],"eficient.":[563],"primera":[566],"part":[567,660],"d'aquesta":[568,635,661],"tesi":[569,616,636],"s'estudien":[570],"matching":[575,624,755,786,798,841],"representats":[588,708],"fent":[589,717],"servir":[590,718,809,871],"Presentem":[593],"algorismes":[594],"temps":[596,697,739,863],"polin\u00f2mic":[597,698,740],"aquests":[600],"problemas,":[601],"aix\u00ed":[602],"propostes":[604],"d'implementacions":[605],"resultats":[607,610],"experimentals.":[608],"Aquests":[609],"s'utilitzen":[611],"endevant":[613],"problemes":[621],"contexte":[628,850],"entrada":[630],"comprimida.":[631],"resta":[634],"ens":[637,663,824],"contexte,":[645,762],"cas":[649,667,766],"particular":[650,668,767],"d'ordre":[653],"superior.":[654],"M\u00e9s":[655],"concretament,":[656],"segona":[659],"tesi,":[662,750],"contextes":[671,788,800,843],"nom\u00e8s":[673],"permet":[675],"sola":[677],"variable":[678],"l'entrada.":[682],"Aquest":[683],"s'anomena":[685],"\"one":[686],"unification\".":[688],"Mostrem":[689,796],"aquest":[691],"pot":[694,860],"indeterminista,":[699],"nom\u00e9s":[701,770],"expl\u00edcita,":[711],"sino":[712],"tamb\u00e9":[713],"representen":[716],"Tamb\u00e9":[725,835],"presentem":[726],"resultat":[728],"parcial":[729],"recent":[730],"algorisme":[737],"one":[743],"unification.":[745],"Al":[746],"final":[747],"estudiem":[751],"entrades":[758],"dels":[772],"cada":[776],"equaci\u00f3":[777],"t\u00e9":[778],"variables.":[779],"contrast":[781],"general,":[785],"classificat":[791],"NP-complet.":[795],"NP-complet":[802],"fins":[803,865],"tot":[805,867],"fan":[808,870],"Aix\u00f2":[818],"implica":[819],"afegir":[821],"porta":[825],"augment":[828],"dr\u00e0stic":[829],"complexitat":[832],"problema.":[834],"demostrem":[836],"restricci\u00f3":[839],"nombre":[846],"est\u00e0":[851],"afitat":[852],"constant":[855],"fixa":[856],"polin\u00f2mic,":[864]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2016-06-24T00:00:00"}