{"id":"https://openalex.org/W2093250851","doi":"https://doi.org/10.1137/0214073","title":"The Knuth-Bendix Completion Procedure and Thue Systems","display_name":"The Knuth-Bendix Completion Procedure and Thue Systems","publication_year":1985,"publication_date":"1985-11-01","ids":{"openalex":"https://openalex.org/W2093250851","doi":"https://doi.org/10.1137/0214073","mag":"2093250851"},"language":"en","primary_location":{"id":"doi:10.1137/0214073","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0214073","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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/A5003856856","display_name":"Deepak Kapur","orcid":"https://orcid.org/0000-0003-2464-2895"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Deepak Kapur","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5083889587","display_name":"Paliath Narendran","orcid":"https://orcid.org/0000-0003-4521-5892"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paliath Narendran","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5003856856"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":9.0998,"has_fulltext":false,"cited_by_count":49,"citation_normalized_percentile":{"value":0.97743992,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"14","issue":"4","first_page":"1052","last_page":"1072"},"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.9997000098228455,"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.9997000098228455,"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.9909999966621399,"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/T10142","display_name":"Formal Methods in Verification","score":0.9872999787330627,"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/rewriting","display_name":"Rewriting","score":0.8418490290641785},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8116862177848816},{"id":"https://openalex.org/keywords/thue-equation","display_name":"Thue equation","score":0.7784428000450134},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.6711195707321167},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.5867330431938171},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.5097946524620056},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4393714666366577},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43461737036705017},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.12294614315032959},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.059230685234069824}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8418490290641785},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8116862177848816},{"id":"https://openalex.org/C155635571","wikidata":"https://www.wikidata.org/wiki/Q2378270","display_name":"Thue equation","level":4,"score":0.7784428000450134},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.6711195707321167},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.5867330431938171},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.5097946524620056},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4393714666366577},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43461737036705017},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.12294614315032959},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.059230685234069824},{"id":"https://openalex.org/C40621787","wikidata":"https://www.wikidata.org/wiki/Q16251580","display_name":"Diophantine set","level":3,"score":0.0},{"id":"https://openalex.org/C206530611","wikidata":"https://www.wikidata.org/wiki/Q905896","display_name":"Diophantine equation","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0214073","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0214073","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1567365295","https://openalex.org/W1971435636","https://openalex.org/W1979101142","https://openalex.org/W1991856459","https://openalex.org/W1997017650","https://openalex.org/W2057602126","https://openalex.org/W2062170505","https://openalex.org/W2062281594","https://openalex.org/W2064672594","https://openalex.org/W2071219059","https://openalex.org/W2080604675","https://openalex.org/W2086747974","https://openalex.org/W2093318042","https://openalex.org/W2094939442","https://openalex.org/W2507006525","https://openalex.org/W4210958774"],"related_works":["https://openalex.org/W2376029318","https://openalex.org/W2388301251","https://openalex.org/W2013770701","https://openalex.org/W3013941779","https://openalex.org/W1998659141","https://openalex.org/W3195376785","https://openalex.org/W2030557042","https://openalex.org/W1497216778","https://openalex.org/W2375794368","https://openalex.org/W2089496816"],"abstract_inverted_index":{"The":[0],"Knuth-Bendix":[1,35,70,172],"completion":[2,71,134,149,173],"procedure":[3,14,36,135,150,174],"for":[4,15,52,102,175],"term":[5],"rewriting":[6],"systems":[7,122,153,178],"in":[8,26,162],"many":[9,24],"cases":[10],"provides":[11],"a":[12,45,59,76,93,117,182],"decision":[13],"equational":[16],"theories":[17],"and":[18,49],"has":[19],"been":[20],"found":[21],"to":[22,37,66,75,89],"have":[23,123],"applications":[25],"various":[27],"areas.":[28],"We":[29,40],"discuss":[30],"the":[31,34,42,69,82,133,145,148,159,168,171],"application":[32],"of":[33,44,108,119,147,170],"Thue":[38,47,55,63,77,86,104,121,141,177],"systems.":[39,105,127],"use":[41],"notion":[43],"reduced":[46,61,84,109],"system":[48,64,78,87,94],"show":[50,131],"that":[51,132],"every":[53],"Church-Rosser":[54,62,85,110,126],"system,":[56],"there":[57],"is":[58],"unique":[60],"equivalent":[65,88,124],"it.":[67],"Furthermore,":[68],"procedure,":[72],"when":[73],"applied":[74],"T,":[79],"always":[80,136],"produces":[81],"finite":[83,125,139],"T":[90],"whenever":[91],"such":[92],"exists.":[95],"Similar":[96],"results":[97,160],"can":[98,154],"also":[99,166],"be":[100,155],"proved":[101],"almost-confluent":[103],"Using":[106],"properties":[107],"systems,":[111,142],"we":[112,130,165],"develop":[113],"conditions":[114],"under":[115],"which":[116,144],"class":[118],"special":[120],"In":[128],"addition,":[129],"terminates":[137],"on":[138],"parenthesized":[140],"from":[143],"termination":[146,169],"over":[151],"ground-term-rewriting":[152],"shown":[156],"immediately.":[157],"From":[158],"discussed":[161],"this":[163],"paper,":[164],"obtain":[167],"commutative":[176],"(commutative":[179],"monoids)":[180],"as":[181],"simple":[183],"corollary.":[184]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}