{"id":"https://openalex.org/W1505286461","doi":"https://doi.org/10.1007/978-3-642-02348-4_3","title":"Proving Termination of Integer Term Rewriting","display_name":"Proving Termination of Integer Term Rewriting","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1505286461","doi":"https://doi.org/10.1007/978-3-642-02348-4_3","mag":"1505286461"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-02348-4_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-02348-4_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5045363254","display_name":"Carsten Fuhs","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Carsten Fuhs","raw_affiliation_strings":["LuFG Informatik 2, RWTH Aachen University, Germany"],"affiliations":[{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025232172","display_name":"J\u00fcrgen Giesl","orcid":"https://orcid.org/0000-0003-0283-8520"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J\u00fcrgen Giesl","raw_affiliation_strings":["LuFG Informatik 2, RWTH Aachen University, Germany"],"affiliations":[{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076403348","display_name":"Martin Pl\u00fccker","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Pl\u00fccker","raw_affiliation_strings":["LuFG Informatik 2, RWTH Aachen University, Germany"],"affiliations":[{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058200123","display_name":"Peter Schneider\u2013Kamp","orcid":"https://orcid.org/0000-0003-4000-5570"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Peter Schneider-Kamp","raw_affiliation_strings":["Dept. of Mathematics & CS, University of Southern Denmark, Odense, Denmark"],"affiliations":[{"raw_affiliation_string":"Dept. of Mathematics & CS, University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110276877","display_name":"Stephan Falke","orcid":null},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephan Falke","raw_affiliation_strings":["CS Department, University of New Mexico, Albuquerque, NM, USA"],"affiliations":[{"raw_affiliation_string":"CS Department, University of New Mexico, Albuquerque, NM, USA","institution_ids":["https://openalex.org/I169521973"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5045363254"],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":6.3525,"has_fulltext":false,"cited_by_count":42,"citation_normalized_percentile":{"value":0.97269879,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"32","last_page":"47"},"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.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/T10126","display_name":"Logic, programming, and type systems","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/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"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/T11424","display_name":"Security and Verification in Computing","score":0.9955999851226807,"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.9740687608718872},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.835797905921936},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.7789384722709656},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7327055931091309},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.5205374956130981},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4541082978248596},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.4321509301662445},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43151214718818665},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35546961426734924},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3447314500808716},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2293413281440735},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08880528807640076},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.04592478275299072}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.9740687608718872},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.835797905921936},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.7789384722709656},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7327055931091309},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.5205374956130981},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4541082978248596},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.4321509301662445},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43151214718818665},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35546961426734924},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3447314500808716},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2293413281440735},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08880528807640076},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.04592478275299072},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-642-02348-4_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-02348-4_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:sdu.dk:openaire_cris_publications/11476950-47bc-11de-b5e8-000ea68e967b","is_oa":false,"landing_page_url":"https://portal.findresearcher.sdu.dk/da/publications/11476950-47bc-11de-b5e8-000ea68e967b","pdf_url":null,"source":{"id":"https://openalex.org/S4306400424","display_name":"University of Southern Denmark Research Portal (University of Southern Denmark)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177969490","host_organization_name":"University of Southern Denmark","host_organization_lineage":["https://openalex.org/I177969490"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fuhs, C, Giesl, J, Pl\u00fccker, M, Schneider-Kamp, P & Falke, S 2009, Proving Termination of Integer Term Rewriting. in Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA '09). Springer, International Conference on Rewriting Techniques and Applications (RTA '09), Brasilia, Brazil, 24/08/2010. https://doi.org/10.1007/978-3-642-02348-4_3","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.218.3523","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.3523","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://verify.rwth-aachen.de/giesl/papers/idp-distribute.pdf","raw_type":"text"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:1346055","is_oa":false,"landing_page_url":"http://discovery.ucl.ac.uk/1346055/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"     In: Treinen, R, (ed.)  (Proceedings) 20th International Conference on Rewriting Techniques and Applications. (pp. 32-+).  SPRINGER-VERLAG BERLIN (2009)     ","raw_type":"Proceedings paper"},{"id":"pmh:oai:publications.rwth-aachen.de:119152","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/119152","pdf_url":null,"source":{"id":"https://openalex.org/S4306401033","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Rewriting techniques and applications : 20th international conference, RTA 2009, Bras\u00edlia, Brazil, June 29-July 1, 2009 ; proceedings / Ralf Treinen (ed.)<br/>20. international conference, RTA 2009, Brasilia, Brazil, 2009-06-29 - 2009-07-01","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W91193428","https://openalex.org/W1480600454","https://openalex.org/W1484559376","https://openalex.org/W1489253037","https://openalex.org/W1496103894","https://openalex.org/W1496435538","https://openalex.org/W1503537039","https://openalex.org/W1505135855","https://openalex.org/W1523211942","https://openalex.org/W1530375435","https://openalex.org/W1541144457","https://openalex.org/W1556566737","https://openalex.org/W1593745409","https://openalex.org/W1603813317","https://openalex.org/W1606555018","https://openalex.org/W1608799719","https://openalex.org/W1620024229","https://openalex.org/W2001932052","https://openalex.org/W2030433877","https://openalex.org/W2038040550","https://openalex.org/W2090855107","https://openalex.org/W2099083823","https://openalex.org/W2124909257","https://openalex.org/W2131807903","https://openalex.org/W2137327104","https://openalex.org/W2156645025","https://openalex.org/W2164290630","https://openalex.org/W2168096396","https://openalex.org/W2168393711","https://openalex.org/W2293708017","https://openalex.org/W2397971081","https://openalex.org/W2494986075","https://openalex.org/W2796564118","https://openalex.org/W2798401172","https://openalex.org/W2911880377","https://openalex.org/W2914979212","https://openalex.org/W4206829564","https://openalex.org/W4248689402"],"related_works":["https://openalex.org/W2463026518","https://openalex.org/W1761458962","https://openalex.org/W2504157767","https://openalex.org/W1515515243","https://openalex.org/W4206221271","https://openalex.org/W3172487478","https://openalex.org/W2475418661","https://openalex.org/W1504820687","https://openalex.org/W2491573813","https://openalex.org/W2154047167"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":8}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}