{"id":"https://openalex.org/W2019672336","doi":"https://doi.org/10.1017/s0960129501003395","title":"Recognizable languages in divisibility monoids","display_name":"Recognizable languages in divisibility monoids","publication_year":2001,"publication_date":"2001-12-01","ids":{"openalex":"https://openalex.org/W2019672336","doi":"https://doi.org/10.1017/s0960129501003395","mag":"2019672336"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129501003395","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129501003395","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","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/A5026097476","display_name":"Manfred Droste","orcid":"https://orcid.org/0000-0001-9128-8844"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"TU Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"MANFRED DROSTE","raw_affiliation_strings":["Institut f\u00fcr Algebra, TU Dresden, D-01062 Dresden, Email:","Institut f\u00fcr Algebra, TU Dresden, D-01062 Dresden, Email: droste@math.tu-dresden.de, kuskeg@math.tu-dresden.de"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Algebra, TU Dresden, D-01062 Dresden, Email:","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"Institut f\u00fcr Algebra, TU Dresden, D-01062 Dresden, Email: droste@math.tu-dresden.de, kuskeg@math.tu-dresden.de","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077823013","display_name":"Dietrich Kuske","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"TU Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"DIETRICH KUSKE","raw_affiliation_strings":["Institut f\u00fcr Algebra, TU Dresden, D-01062 Dresden, Email:","Institut f\u00fcr Algebra, TU Dresden, D-01062 Dresden, Email: droste@math.tu-dresden.de, kuskeg@math.tu-dresden.de"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Algebra, TU Dresden, D-01062 Dresden, Email:","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"Institut f\u00fcr Algebra, TU Dresden, D-01062 Dresden, Email: droste@math.tu-dresden.de, kuskeg@math.tu-dresden.de","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5026097476"],"corresponding_institution_ids":["https://openalex.org/I78650965"],"apc_list":null,"apc_paid":null,"fwci":0.8967,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.73970897,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"11","issue":"6","first_page":"743","last_page":"770"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9994999766349792,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9987999796867371,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/divisibility-rule","display_name":"Divisibility rule","score":0.8327505588531494},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6973761320114136},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.6428635120391846},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.5981760621070862},{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.5869832634925842},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5623020529747009},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.5438951849937439},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.473474383354187},{"id":"https://openalex.org/keywords/catenation","display_name":"Catenation","score":0.4273892641067505},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34056252241134644},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.22469159960746765}],"concepts":[{"id":"https://openalex.org/C9991821","wikidata":"https://www.wikidata.org/wiki/Q858520","display_name":"Divisibility rule","level":2,"score":0.8327505588531494},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6973761320114136},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.6428635120391846},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.5981760621070862},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.5869832634925842},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5623020529747009},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.5438951849937439},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.473474383354187},{"id":"https://openalex.org/C76787000","wikidata":"https://www.wikidata.org/wiki/Q334951","display_name":"Catenation","level":3,"score":0.4273892641067505},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34056252241134644},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.22469159960746765},{"id":"https://openalex.org/C552990157","wikidata":"https://www.wikidata.org/wiki/Q7430","display_name":"DNA","level":2,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129501003395","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129501003395","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W33714751","https://openalex.org/W89538287","https://openalex.org/W187986157","https://openalex.org/W1492625855","https://openalex.org/W1530168704","https://openalex.org/W1540223539","https://openalex.org/W1540999307","https://openalex.org/W1547926009","https://openalex.org/W1566757902","https://openalex.org/W1576513528","https://openalex.org/W1868937033","https://openalex.org/W1969380902","https://openalex.org/W1971388659","https://openalex.org/W1984151763","https://openalex.org/W2006670191","https://openalex.org/W2025170645","https://openalex.org/W2047831757","https://openalex.org/W2060344461","https://openalex.org/W2079517149","https://openalex.org/W2079698278","https://openalex.org/W2086147982","https://openalex.org/W2095689360","https://openalex.org/W2136377643","https://openalex.org/W2138856440","https://openalex.org/W2163903931","https://openalex.org/W2914421362"],"related_works":["https://openalex.org/W2402226617","https://openalex.org/W63916949","https://openalex.org/W2169267790","https://openalex.org/W1854224214","https://openalex.org/W2051839611","https://openalex.org/W2089455626","https://openalex.org/W2162052298","https://openalex.org/W1885508027","https://openalex.org/W2951152791","https://openalex.org/W2008921773"],"abstract_inverted_index":{"We":[0,73],"define":[1],"the":[2,12,20,44],"class":[3,31],"of":[4,11,19],"divisibility":[5,49],"monoids":[6,50,84],"that":[7,43],"arise":[8],"as":[9,85],"quotients":[10],"free":[13,33,81],"monoid":[14],"\u03a3*":[15],"modulo":[16],"certain":[17,41],"equations":[18],"form":[21,27],"ab":[22],"=":[23],"cd":[24],".":[25],"These":[26],"a":[28,86],"much":[29],"larger":[30],"than":[32],"partially":[34,82],"commutative":[35,83],"monoids,":[36],"and":[37,64],"we":[38],"show,":[39],"under":[40],"assumptions,":[42],"recognizable":[45,78],"languages":[46,79],"in":[47,80],"these":[48,71],"coincide":[51],"with":[52],"c-rational":[53],"languages.":[54],"The":[55],"proofs":[56],"rely":[57],"on":[58,65,77],"Ramsey's":[59],"theorem,":[60],"distributive":[61],"lattice":[62],"theory":[63],"Hashigushi's":[66],"rank":[67],"function":[68],"generalized":[69],"to":[70],"monoids.":[72],"obtain":[74],"Ochma\u0144ski's":[75],"theorem":[76],"consequence.":[87]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}