{"id":"https://openalex.org/W2109494453","doi":"https://doi.org/10.1002/scj.4690270604","title":"Completion of term\u2010rewriting systems with multiple reduction orderings","display_name":"Completion of term\u2010rewriting systems with multiple reduction orderings","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W2109494453","doi":"https://doi.org/10.1002/scj.4690270604","mag":"2109494453"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690270604","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690270604","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","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/A5004333189","display_name":"Hisashi Kondo","orcid":null},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]},{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["JP","US"],"is_corresponding":true,"raw_author_name":"Hisashi Kondo","raw_affiliation_strings":["Currently, Dept. Systems Eng., Fac. Eng., Ibaraki Univ","Faculty of Engineering, Hokkaido University, Sapporo, Japan 060","Hisashi Kondo received his Master's degree (Inf. Eng.) in 1991 and his Ph.D. degree (Inf. Eng.) in 1994 from Hokkaido Univ. He was a Research Associate in 1994 in the Dept. System Eng., Ibaraki Univ. He is engaged in research on term-rewriting system and program synthesis. He is a member of Inf. Proc. Soc.; and Soc. Artif. Intel","Hisashi Kondo received his Master's degree (Inf. Eng.) in 1991 and his Ph.D. degree (Inf. Eng.) in 1994 from Hokkaido Univ. He was a Research Associate in 1994 in the Dept. System Eng., Ibaraki Univ. He is engaged in research on term-rewriting system and program synthesis. He is a member of Inf. Proc. Soc","Soc. Artif. Intel"],"affiliations":[{"raw_affiliation_string":"Currently, Dept. Systems Eng., Fac. Eng., Ibaraki Univ","institution_ids":[]},{"raw_affiliation_string":"Faculty of Engineering, Hokkaido University, Sapporo, Japan 060","institution_ids":["https://openalex.org/I205349734"]},{"raw_affiliation_string":"Hisashi Kondo received his Master's degree (Inf. Eng.) in 1991 and his Ph.D. degree (Inf. Eng.) in 1994 from Hokkaido Univ. He was a Research Associate in 1994 in the Dept. System Eng., Ibaraki Univ. He is engaged in research on term-rewriting system and program synthesis. He is a member of Inf. Proc. Soc.; and Soc. Artif. Intel","institution_ids":[]},{"raw_affiliation_string":"Hisashi Kondo received his Master's degree (Inf. Eng.) in 1991 and his Ph.D. degree (Inf. Eng.) in 1994 from Hokkaido Univ. He was a Research Associate in 1994 in the Dept. System Eng., Ibaraki Univ. He is engaged in research on term-rewriting system and program synthesis. He is a member of Inf. Proc. Soc","institution_ids":[]},{"raw_affiliation_string":"Soc. Artif. Intel","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054412358","display_name":"Masahito Kurihara","orcid":"https://orcid.org/0000-0002-1478-1093"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]},{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["JP","US"],"is_corresponding":false,"raw_author_name":"Masahito Kurihara","raw_affiliation_strings":["Faculty of Engineering, Hokkaido University, Sapporo, Japan 060","Masahito Kurihara graduated in 1978 from the Dept. Electrical Eng., Hokkaido Univ., where he received his Master's degree (Id Eng.) in 1980 and became a Research Associate in the Dept. Electrical Eng., Hokkaido Univ. He also has a Ph.D. degree. He was a Lecturer in 1989 and Assoc. Prof. in 1990 in the Dept. Inf. Eng. He is engaged in research on system engineering, automated reasoning and term-rewriting system. He is a member of Inf. Proc. Soc.; Jap. Soc. Software Sci.; Soc. Artif. Intel.; and EATCS (European Association Theoretical Computer Science)","EATCS (European Association Theoretical Computer Science)","Soc. Artif. Intel","Masahito Kurihara graduated in 1978 from the Dept. Electrical Eng., Hokkaido Univ., where he received his Master's degree (Id Eng.) in 1980 and became a Research Associate in the Dept. Electrical Eng., Hokkaido Univ. He also has a Ph.D. degree. He was a Lecturer in 1989 and Assoc. Prof. in 1990 in the Dept. Inf. Eng. He is engaged in research on system engineering, automated reasoning and term-rewriting system. He is a member of Inf. Proc. Soc","Jap. Soc. Software Sci"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Hokkaido University, Sapporo, Japan 060","institution_ids":["https://openalex.org/I205349734"]},{"raw_affiliation_string":"Masahito Kurihara graduated in 1978 from the Dept. Electrical Eng., Hokkaido Univ., where he received his Master's degree (Id Eng.) in 1980 and became a Research Associate in the Dept. Electrical Eng., Hokkaido Univ. He also has a Ph.D. degree. He was a Lecturer in 1989 and Assoc. Prof. in 1990 in the Dept. Inf. Eng. He is engaged in research on system engineering, automated reasoning and term-rewriting system. He is a member of Inf. Proc. Soc.; Jap. Soc. Software Sci.; Soc. Artif. Intel.; and EATCS (European Association Theoretical Computer Science)","institution_ids":[]},{"raw_affiliation_string":"EATCS (European Association Theoretical Computer Science)","institution_ids":[]},{"raw_affiliation_string":"Soc. Artif. Intel","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Masahito Kurihara graduated in 1978 from the Dept. Electrical Eng., Hokkaido Univ., where he received his Master's degree (Id Eng.) in 1980 and became a Research Associate in the Dept. Electrical Eng., Hokkaido Univ. He also has a Ph.D. degree. He was a Lecturer in 1989 and Assoc. Prof. in 1990 in the Dept. Inf. Eng. He is engaged in research on system engineering, automated reasoning and term-rewriting system. He is a member of Inf. Proc. Soc","institution_ids":[]},{"raw_affiliation_string":"Jap. Soc. Software Sci","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043496932","display_name":"Azuma Ohuchi","orcid":null},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]},{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["JP","US"],"is_corresponding":false,"raw_author_name":"Azuma Ohuchi","raw_affiliation_strings":["Azuma Ohuchi received his Dr. of Eng. degree (Electrical Eng.) in 1974 from Hokkaido Univ. At present, he is a Professor in the Dept. Inf. Eng., Hokkaido Univ. He is engaged in research on system information engineering, applied artificial intelligence and medical system. He is a member of Inf. Proc. Soc.; Soc. Artif. Intel.; IEEJ; Soc. Instr. Contr. Eng.; Jap. OR Soc.; Soc. Med. Inf.; Soc. Hosp. Manag.; and IEEE","Faculty of Engineering, Hokkaido University, Sapporo, Japan 060","Jap. OR Soc","Azuma Ohuchi received his Dr. of Eng. degree (Electrical Eng.) in 1974 from Hokkaido Univ. At present, he is a Professor in the Dept. Inf. Eng., Hokkaido Univ. He is engaged in research on system information engineering, applied artificial intelligence and medical system. He is a member of Inf. Proc. Soc","Soc. Instr. Contr. Eng","Soc. Med. Inf","Soc. Artif. Intel","Soc. Hosp. Manag","IEEE"],"affiliations":[{"raw_affiliation_string":"Azuma Ohuchi received his Dr. of Eng. degree (Electrical Eng.) in 1974 from Hokkaido Univ. At present, he is a Professor in the Dept. Inf. Eng., Hokkaido Univ. He is engaged in research on system information engineering, applied artificial intelligence and medical system. He is a member of Inf. Proc. Soc.; Soc. Artif. Intel.; IEEJ; Soc. Instr. Contr. Eng.; Jap. OR Soc.; Soc. Med. Inf.; Soc. Hosp. Manag.; and IEEE","institution_ids":[]},{"raw_affiliation_string":"Faculty of Engineering, Hokkaido University, Sapporo, Japan 060","institution_ids":["https://openalex.org/I205349734"]},{"raw_affiliation_string":"Jap. OR Soc","institution_ids":[]},{"raw_affiliation_string":"Azuma Ohuchi received his Dr. of Eng. degree (Electrical Eng.) in 1974 from Hokkaido Univ. At present, he is a Professor in the Dept. Inf. Eng., Hokkaido Univ. He is engaged in research on system information engineering, applied artificial intelligence and medical system. He is a member of Inf. Proc. Soc","institution_ids":[]},{"raw_affiliation_string":"Soc. Instr. Contr. Eng","institution_ids":[]},{"raw_affiliation_string":"Soc. Med. Inf","institution_ids":[]},{"raw_affiliation_string":"Soc. Artif. Intel","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Soc. Hosp. Manag","institution_ids":[]},{"raw_affiliation_string":"IEEE","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004333189"],"corresponding_institution_ids":["https://openalex.org/I1343180700","https://openalex.org/I205349734"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17308099,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":"6","first_page":"33","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9987999796867371,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9987999796867371,"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.9979000091552734,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9968000054359436,"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/rewriting","display_name":"Rewriting","score":0.9031292200088501},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.874360203742981},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.6355443000793457},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5919591188430786},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.5772989392280579},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5679625868797302},{"id":"https://openalex.org/keywords/partially-ordered-set","display_name":"Partially ordered set","score":0.5639953017234802},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5550515651702881},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5506340265274048},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5505363345146179},{"id":"https://openalex.org/keywords/reduction-strategy","display_name":"Reduction strategy","score":0.5141203999519348},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.46459388732910156},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.45719778537750244},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4393059015274048},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3705463111400604},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.18121355772018433},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1245332658290863},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08454805612564087}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.9031292200088501},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.874360203742981},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.6355443000793457},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5919591188430786},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.5772989392280579},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5679625868797302},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.5639953017234802},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5550515651702881},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5506340265274048},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5505363345146179},{"id":"https://openalex.org/C56858530","wikidata":"https://www.wikidata.org/wiki/Q15947151","display_name":"Reduction strategy","level":2,"score":0.5141203999519348},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.46459388732910156},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45719778537750244},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4393059015274048},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3705463111400604},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.18121355772018433},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1245332658290863},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08454805612564087},{"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690270604","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690270604","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W15927733","https://openalex.org/W121595607","https://openalex.org/W1541376699","https://openalex.org/W1991856459","https://openalex.org/W1999622198","https://openalex.org/W2024390796","https://openalex.org/W2069453418","https://openalex.org/W2121757274","https://openalex.org/W2147096558","https://openalex.org/W2507006525","https://openalex.org/W2547662413","https://openalex.org/W3022794709"],"related_works":["https://openalex.org/W1761458962","https://openalex.org/W2463026518","https://openalex.org/W1515515243","https://openalex.org/W4206221271","https://openalex.org/W3172487478","https://openalex.org/W2504157767","https://openalex.org/W1504820687","https://openalex.org/W2475418661","https://openalex.org/W2491573813","https://openalex.org/W4388035924"],"abstract_inverted_index":{"Abstract":[0],"The":[1,56,131,145],"Knuth\u2010Bendix":[2],"completion":[3,62,74,137],"procedure":[4,24,34,51,63,75,96,138],"results":[5],"in":[6,87,127],"one":[7],"of":[8,18,60,84,120,134,147,159,168],"the":[9,12,16,23,33,39,45,50,61,67,82,85,89,95,101,107,109,117,128,135,151,157,160,166,171],"following,":[10],"when":[11],"reduction":[13,46,68,78,90,103,143,172],"ordering":[14,91],"and":[15,48,92,156],"set":[17],"equations":[19],"are":[20,113],"given:":[21],"(1)":[22],"succeeds":[25],"by":[26,36,44,164],"generating":[27],"a":[28,73],"complete":[29],"term\u2010rewriting":[30],"system;":[31],"(2)":[32],"fails":[35],"not":[37],"giving":[38],"orientation":[40],"to":[41,80,93,100,149],"an":[42,124],"equation":[43],"ordering;":[47],"(3)":[49],"diverges":[52],"without":[53],"being":[54],"terminated.":[55],"success":[57],"or":[58],"failure":[59],"depends":[64],"greatly":[65],"on":[66,116],"ordering.":[69,104,144],"This":[70],"paper":[71],"proposes":[72],"with":[76],"multiple":[77,152],"orderings":[79],"reduce":[81],"burden":[83],"user":[86],"determining":[88],"prevent":[94],"from":[97],"diverging":[98],"due":[99],"inadequate":[102],"To":[105],"improve":[106],"efficiency,":[108],"data":[110,118],"called":[111],"node":[112],"used,":[114],"based":[115],"structure":[119],"ATMS,":[121],"which":[122],"is":[123,139,154,162],"architecture":[125],"proposed":[126],"artificial":[129],"intelligence.":[130],"parallel":[132],"execution":[133],"ordinary":[136],"simulated":[140],"under":[141],"each":[142],"property":[146],"ATMS":[148],"handle":[150],"context":[153],"utilized,":[155],"duplication":[158],"inference":[161,169],"avoided":[163],"sharing":[165],"result":[167],"among":[170],"orderings.":[173]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}