{"id":"https://openalex.org/W2087112972","doi":"https://doi.org/10.1016/0304-3975(95)80022-2","title":"Characterizations of rational \u03c9-languages by means of right congruences","display_name":"Characterizations of rational \u03c9-languages by means of right congruences","publication_year":1995,"publication_date":"1995-07-01","ids":{"openalex":"https://openalex.org/W2087112972","doi":"https://doi.org/10.1016/0304-3975(95)80022-2","mag":"2087112972"},"language":"en","primary_location":{"id":"doi:10.1016/0304-3975(95)80022-2","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0304-3975(95)80022-2","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical 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/A5109814667","display_name":"\u0110\u1ed7 Long V\u00e2n","orcid":null},"institutions":[{"id":"https://openalex.org/I4210148301","display_name":"Institute of Mathematics","ror":"https://ror.org/04jr71r83","country_code":"VN","type":"facility","lineage":["https://openalex.org/I4210148301","https://openalex.org/I70349855"]}],"countries":["VN"],"is_corresponding":true,"raw_author_name":"Do Long Van","raw_affiliation_strings":["Institute of Mathematics, P.O. Box 631, Bo H\u2299, 10000 Hanoi, Viet Nam"],"affiliations":[{"raw_affiliation_string":"Institute of Mathematics, P.O. Box 631, Bo H\u2299, 10000 Hanoi, Viet Nam","institution_ids":["https://openalex.org/I4210148301"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106034446","display_name":"Bertrand Le Sa\u00ebc","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bertrand Le Sa\u00ebc","raw_affiliation_strings":["Laboratoire Bordelais de Recherche en Informatique, Unit\u00e9 de Recherche Associ\u00e9e au Centre National de la Recherche Scientifique No. 1304, Universit\u00e9 Bordeaux 1, 351 cours de la Lib\u00e9ration, 33405 Talence Cedex, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire Bordelais de Recherche en Informatique, Unit\u00e9 de Recherche Associ\u00e9e au Centre National de la Recherche Scientifique No. 1304, Universit\u00e9 Bordeaux 1, 351 cours de la Lib\u00e9ration, 33405 Talence Cedex, France","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047655754","display_name":"Igor Litovsky","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Igor Litovsky","raw_affiliation_strings":["ESSI, Routes des colles, BP 145, 06903 Sophia Antipolis, France"],"affiliations":[{"raw_affiliation_string":"ESSI, Routes des colles, BP 145, 06903 Sophia Antipolis, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5109814667"],"corresponding_institution_ids":["https://openalex.org/I4210148301"],"apc_list":{"value":2690,"currency":"USD","value_usd":2690},"apc_paid":null,"fwci":1.6105,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.83643953,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"143","issue":"1","first_page":"1","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"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.9998999834060669,"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.9990000128746033,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9911999702453613,"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/congruence-relation","display_name":"Congruence relation","score":0.8371431231498718},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.5131595730781555},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4986560344696045},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.4512833058834076},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.42058101296424866},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.378398060798645},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37223753333091736},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33048194646835327},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.29423993825912476},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.21625226736068726},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.19034349918365479},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18300902843475342}],"concepts":[{"id":"https://openalex.org/C9973445","wikidata":"https://www.wikidata.org/wiki/Q8349849","display_name":"Congruence relation","level":2,"score":0.8371431231498718},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.5131595730781555},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4986560344696045},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.4512833058834076},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.42058101296424866},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.378398060798645},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37223753333091736},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33048194646835327},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.29423993825912476},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.21625226736068726},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.19034349918365479},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18300902843475342}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/0304-3975(95)80022-2","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0304-3975(95)80022-2","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W77359284","https://openalex.org/W117768600","https://openalex.org/W124311540","https://openalex.org/W164886591","https://openalex.org/W1516914283","https://openalex.org/W1976772375","https://openalex.org/W2003940577","https://openalex.org/W2006654895","https://openalex.org/W2022136117","https://openalex.org/W2034249608","https://openalex.org/W2046366128","https://openalex.org/W2094912129","https://openalex.org/W2167954650","https://openalex.org/W4229530564","https://openalex.org/W6603114000","https://openalex.org/W6606697949","https://openalex.org/W6630912574"],"related_works":["https://openalex.org/W1540583425","https://openalex.org/W1724227223","https://openalex.org/W1485033624","https://openalex.org/W2017318974","https://openalex.org/W2963981206","https://openalex.org/W1600278159","https://openalex.org/W2240836793","https://openalex.org/W2077359248","https://openalex.org/W4298875513","https://openalex.org/W1506365138"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}