{"id":"https://openalex.org/W2002483665","doi":"https://doi.org/10.1007/bf01191381","title":"Total termination of term rewriting","display_name":"Total termination of term rewriting","publication_year":1996,"publication_date":"1996-03-01","ids":{"openalex":"https://openalex.org/W2002483665","doi":"https://doi.org/10.1007/bf01191381","mag":"2002483665"},"language":"en","primary_location":{"id":"doi:10.1007/bf01191381","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01191381","pdf_url":null,"source":{"id":"https://openalex.org/S44535979","display_name":"Applicable Algebra in Engineering Communication and Computing","issn_l":"0938-1279","issn":["0938-1279","1432-0622"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applicable Algebra in Engineering, Communication and 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/A5104031314","display_name":"M. C. F. Ferreira","orcid":null},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"M. C. F. Ferreira","raw_affiliation_strings":["Department of Computer Science, Utrecht University, P.O. Box 80.089, 3509, TB Utrecht, The Netherlands","Department of Computer Science, Utrecht University, TB Utrecht, The Netherlands","Dept. of Computer Science, Utrecht Univ., TB Utrecht, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Utrecht University, P.O. Box 80.089, 3509, TB Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Department of Computer Science, Utrecht University, TB Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Dept. of Computer Science, Utrecht Univ., TB Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080214204","display_name":"Hans Zantema","orcid":null},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"H. Zantema","raw_affiliation_strings":["Department of Computer Science, Utrecht University, P.O. Box 80.089, 3509, TB Utrecht, The Netherlands","Department of Computer Science, Utrecht University, TB Utrecht, The Netherlands","Dept. of Computer Science, Utrecht Univ., TB Utrecht, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Utrecht University, P.O. Box 80.089, 3509, TB Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Department of Computer Science, Utrecht University, TB Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Dept. of Computer Science, Utrecht Univ., TB Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5080214204","https://openalex.org/A5104031314"],"corresponding_institution_ids":["https://openalex.org/I193662353"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":2.2655,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.89383075,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"7","issue":"2","first_page":"133","last_page":"162"},"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.9995999932289124,"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.9995999932289124,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9976999759674072,"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.9958000183105469,"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.8498952388763428},{"id":"https://openalex.org/keywords/converse","display_name":"Converse","score":0.7496601939201355},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.7361893057823181},{"id":"https://openalex.org/keywords/multiset","display_name":"Multiset","score":0.5797598958015442},{"id":"https://openalex.org/keywords/lexicographical-order","display_name":"Lexicographical order","score":0.5667527914047241},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5580828785896301},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.5402194857597351},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4821628928184509},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.4295637309551239},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3321326971054077},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2945778965950012},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.23844680190086365},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10376262664794922},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09691166877746582}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8498952388763428},{"id":"https://openalex.org/C2776809875","wikidata":"https://www.wikidata.org/wiki/Q1375963","display_name":"Converse","level":2,"score":0.7496601939201355},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.7361893057823181},{"id":"https://openalex.org/C2779623528","wikidata":"https://www.wikidata.org/wiki/Q864377","display_name":"Multiset","level":2,"score":0.5797598958015442},{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.5667527914047241},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5580828785896301},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.5402194857597351},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4821628928184509},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.4295637309551239},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3321326971054077},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2945778965950012},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.23844680190086365},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10376262664794922},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09691166877746582},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/bf01191381","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01191381","pdf_url":null,"source":{"id":"https://openalex.org/S44535979","display_name":"Applicable Algebra in Engineering Communication and Computing","issn_l":"0938-1279","issn":["0938-1279","1432-0622"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applicable Algebra in Engineering, Communication and Computing","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/5010f43a-8b56-47e2-83c2-9a770579f4f5","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/5010f43a-8b56-47e2-83c2-9a770579f4f5","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ferreira, M C F & Zantema, H 1996, 'Total termination of term rewriting', Applicable Algebra in Engineering, Communication and Computing, vol. 7, no. 2, pp. 133-162. https://doi.org/10.1007/BF01191381","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:tue:oai:pure.tue.nl:publications/5010f43a-8b56-47e2-83c2-9a770579f4f5","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/5010f43a-8b56-47e2-83c2-9a770579f4f5","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Applicable Algebra in Engineering, Communication and Computing, 7(2), 133 - 162. Springer","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W196782186","https://openalex.org/W608945534","https://openalex.org/W1489374747","https://openalex.org/W1532597494","https://openalex.org/W1567604987","https://openalex.org/W1870663603","https://openalex.org/W1876432474","https://openalex.org/W1939442430","https://openalex.org/W1994958005","https://openalex.org/W2014030742","https://openalex.org/W2041799549","https://openalex.org/W2081739832","https://openalex.org/W2100025438","https://openalex.org/W2121757274","https://openalex.org/W2165176212","https://openalex.org/W2808482786","https://openalex.org/W2912818154","https://openalex.org/W3022794709","https://openalex.org/W3217084108"],"related_works":["https://openalex.org/W4300455649","https://openalex.org/W2296588302","https://openalex.org/W4252409532","https://openalex.org/W4328119206","https://openalex.org/W2033245919","https://openalex.org/W2006067547","https://openalex.org/W9228044","https://openalex.org/W2387449261","https://openalex.org/W2102690633","https://openalex.org/W2188821552"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}