{"id":"https://openalex.org/W1549267059","doi":"https://doi.org/10.1007/3-540-63165-8_218","title":"The word matching problem is undecidable for finite special string-rewriting systems that are confluent","display_name":"The word matching problem is undecidable for finite special string-rewriting systems that are confluent","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W1549267059","doi":"https://doi.org/10.1007/3-540-63165-8_218","mag":"1549267059"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-63165-8_218","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-63165-8_218","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/A5083889587","display_name":"Paliath Narendran","orcid":"https://orcid.org/0000-0003-4521-5892"},"institutions":[{"id":"https://openalex.org/I392282","display_name":"University at Albany, State University of New York","ror":"https://ror.org/012zs8222","country_code":"US","type":"education","lineage":["https://openalex.org/I392282"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Paliath Narendran","raw_affiliation_strings":["Institute of Programming and Logics, Department of Computer Science, State University of New York at Albany, 12222, Albany, NY, USA","Institute of Programming and Logics, Department of Computer Science, State University of New York at Albany, Albany, USA"],"affiliations":[{"raw_affiliation_string":"Institute of Programming and Logics, Department of Computer Science, State University of New York at Albany, 12222, Albany, NY, USA","institution_ids":["https://openalex.org/I392282"]},{"raw_affiliation_string":"Institute of Programming and Logics, Department of Computer Science, State University of New York at Albany, Albany, USA","institution_ids":["https://openalex.org/I392282"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111446858","display_name":"Friedrich Otto","orcid":null},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Friedrich Otto","raw_affiliation_strings":["Fachbereich Mathematik/Informatik, Universit\u00e4t Kassel, 34109, Kassel, Germany","Fachbereich Mathematik/Informatik, Universit\u00e4t Kassel, Kassel, Germany"],"affiliations":[{"raw_affiliation_string":"Fachbereich Mathematik/Informatik, Universit\u00e4t Kassel, 34109, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]},{"raw_affiliation_string":"Fachbereich Mathematik/Informatik, Universit\u00e4t Kassel, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5083889587"],"corresponding_institution_ids":["https://openalex.org/I392282"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.2907,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.78864417,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"638","last_page":"648"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","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"}},"topics":[{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","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/T11567","display_name":"semigroups and automata theory","score":0.9977999925613403,"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/T12029","display_name":"DNA and Biological Computing","score":0.9921000003814697,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.9727417230606079},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.8809388875961304},{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.8376124501228333},{"id":"https://openalex.org/keywords/word-problem","display_name":"Word problem (mathematics education)","score":0.8219422101974487},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.7402211427688599},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.6578258872032166},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6235360503196716},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.6029922962188721},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.4799499809741974},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.30625972151756287},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30492183566093445},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2689547538757324},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.19071003794670105},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.129924476146698}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.9727417230606079},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8809388875961304},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.8376124501228333},{"id":"https://openalex.org/C90988201","wikidata":"https://www.wikidata.org/wiki/Q255912","display_name":"Word problem (mathematics education)","level":2,"score":0.8219422101974487},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.7402211427688599},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.6578258872032166},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6235360503196716},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.6029922962188721},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.4799499809741974},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.30625972151756287},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30492183566093445},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2689547538757324},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.19071003794670105},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.129924476146698},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-63165-8_218","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-63165-8_218","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W26772505","https://openalex.org/W1496412704","https://openalex.org/W1502428252","https://openalex.org/W1545803195","https://openalex.org/W1547738692","https://openalex.org/W1577485093","https://openalex.org/W1590849606","https://openalex.org/W1969654785","https://openalex.org/W1974817955","https://openalex.org/W1993370765","https://openalex.org/W2006141572","https://openalex.org/W2023356641","https://openalex.org/W2069915937","https://openalex.org/W2076844127","https://openalex.org/W2123995178","https://openalex.org/W2132750992","https://openalex.org/W2505078258","https://openalex.org/W2561675875","https://openalex.org/W2912818154","https://openalex.org/W2913944636","https://openalex.org/W4302964898","https://openalex.org/W4388298878","https://openalex.org/W6635577145","https://openalex.org/W6648519890","https://openalex.org/W6759055872"],"related_works":["https://openalex.org/W1761458962","https://openalex.org/W16617677","https://openalex.org/W1933757178","https://openalex.org/W1504820687","https://openalex.org/W2142543897","https://openalex.org/W1512579902","https://openalex.org/W4210495575","https://openalex.org/W1511851241","https://openalex.org/W3022248317","https://openalex.org/W1693995122"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}