{"id":"https://openalex.org/W2134671032","doi":"https://doi.org/10.1007/s00200-008-0060-6","title":"Adding constants to string rewriting","display_name":"Adding constants to string rewriting","publication_year":2008,"publication_date":"2008-01-29","ids":{"openalex":"https://openalex.org/W2134671032","doi":"https://doi.org/10.1007/s00200-008-0060-6","mag":"2134671032"},"language":"en","primary_location":{"id":"doi:10.1007/s00200-008-0060-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00200-008-0060-6","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/A5078037586","display_name":"Ren\u00e9 Thiemann","orcid":"https://orcid.org/0000-0002-0323-8829"},"institutions":[{"id":"https://openalex.org/I190249584","display_name":"Universit\u00e4t Innsbruck","ror":"https://ror.org/054pv6659","country_code":"AT","type":"education","lineage":["https://openalex.org/I190249584"]},{"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":["AT","DE"],"is_corresponding":true,"raw_author_name":"Ren\u00e9 Thiemann","raw_affiliation_strings":["LuFG Informatik 2, RWTH Aachen, Ahornstr. 55, 52074, Aachen, Germany","LuFG Informatik 2, RWTH Aachen, Ahornstr. 55, 52074, Aachen, Germany and University of Innsbruck, Institute of Computer Science, Technikerstr. 21a, 6020, Innsbruck, Austria#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen, Ahornstr. 55, 52074, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen, Ahornstr. 55, 52074, Aachen, Germany and University of Innsbruck, Institute of Computer Science, Technikerstr. 21a, 6020, Innsbruck, Austria#TAB#","institution_ids":["https://openalex.org/I190249584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080214204","display_name":"Hans Zantema","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Hans Zantema","raw_affiliation_strings":["Department of Computer Science, TU Eindhoven, P.O.Box 513, 5600 MB, Eindhoven, The Netherlands","Department of Computer Science, TU Eindhoven, P.O.Box 513, 5600\u00a0MB, Eindhoven, The Netherlands","TU Eindhoven, Department of Computer Science, P.O.Box 513, Technikerstr. 21a, 5600\u00a0MB, Eindhoven, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, TU Eindhoven, P.O.Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Computer Science, TU Eindhoven, P.O.Box 513, 5600\u00a0MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"TU Eindhoven, Department of Computer Science, P.O.Box 513, Technikerstr. 21a, 5600\u00a0MB, Eindhoven, The Netherlands#TAB#","institution_ids":["https://openalex.org/I83019370"]}]},{"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, Ahornstr. 55, 52074, Aachen, Germany","LuFG Informatik 2, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen, Ahornstr. 55, 52074, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058200123","display_name":"Peter Schneider\u2013Kamp","orcid":"https://orcid.org/0000-0003-4000-5570"},"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":"Peter Schneider-Kamp","raw_affiliation_strings":["LuFG Informatik 2, RWTH Aachen, Ahornstr. 55, 52074, Aachen, Germany","LuFG Informatik 2, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen, Ahornstr. 55, 52074, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"LuFG Informatik 2, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078037586"],"corresponding_institution_ids":["https://openalex.org/I190249584","https://openalex.org/I887968799"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":1.1675,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.85088153,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"19","issue":"1","first_page":"27","last_page":"38"},"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.9958999752998352,"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.9958999752998352,"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.9943000078201294,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9855999946594238,"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.9569008350372314},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.9473434686660767},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.8106104135513306},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.6415743827819824},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.6228556632995605},{"id":"https://openalex.org/keywords/normalization","display_name":"Normalization (sociology)","score":0.5607520937919617},{"id":"https://openalex.org/keywords/normalization-property","display_name":"Normalization property","score":0.5221741199493408},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5038589835166931},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4956868886947632},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4657873213291168},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4053800106048584},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2982821464538574},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.18109682202339172},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17319297790527344},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.0720081627368927}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.9569008350372314},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.9473434686660767},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.8106104135513306},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.6415743827819824},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.6228556632995605},{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.5607520937919617},{"id":"https://openalex.org/C159333733","wikidata":"https://www.wikidata.org/wiki/Q7051809","display_name":"Normalization property","level":2,"score":0.5221741199493408},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5038589835166931},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4956868886947632},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4657873213291168},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4053800106048584},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2982821464538574},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.18109682202339172},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17319297790527344},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0720081627368927},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"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/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C19165224","wikidata":"https://www.wikidata.org/wiki/Q23404","display_name":"Anthropology","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s00200-008-0060-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00200-008-0060-6","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/c0cb44ce-3cee-431a-b988-651aa5e901fe","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/c0cb44ce-3cee-431a-b988-651aa5e901fe","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":"Thiemann, R, Zantema, H, Giesl, J & Schneider-Kamp, P 2008, 'Adding constants to string rewriting', Applicable Algebra in Engineering, Communication and Computing, vol. 19, no. 1, pp. 27-38. https://doi.org/10.1007/s00200-008-0060-6","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/72647","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/72647","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"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, 19, 1, pp. 27-38","raw_type":"Article / Letter to editor"},{"id":"pmh:tue:oai:pure.tue.nl:publications/c0cb44ce-3cee-431a-b988-651aa5e901fe","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/c0cb44ce-3cee-431a-b988-651aa5e901fe","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, 19(1), 27 - 38. Springer","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W91193428","https://openalex.org/W598205067","https://openalex.org/W1583295953","https://openalex.org/W1970844917","https://openalex.org/W2090855107","https://openalex.org/W2099083823","https://openalex.org/W2170550263","https://openalex.org/W4230919050"],"related_works":["https://openalex.org/W1761458962","https://openalex.org/W2463026518","https://openalex.org/W4206221271","https://openalex.org/W1515515243","https://openalex.org/W1504820687","https://openalex.org/W2756087029","https://openalex.org/W1583436687","https://openalex.org/W2475418661","https://openalex.org/W2517733820","https://openalex.org/W4297774668"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}