{"id":"https://openalex.org/W2955186997","doi":"https://doi.org/10.1051/ita/2020005","title":"Injective envelopes of transition systems and Ferrers languages","display_name":"Injective envelopes of transition systems and Ferrers languages","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W2955186997","doi":"https://doi.org/10.1051/ita/2020005","mag":"2955186997"},"language":"en","primary_location":{"id":"doi:10.1051/ita/2020005","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/2020005","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/2020/01/ita190021.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.rairo-ita.org/articles/ita/pdf/2020/01/ita190021.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008860225","display_name":"Mustapha Kabil","orcid":"https://orcid.org/0000-0001-5877-7160"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mustapha Kabil","raw_affiliation_strings":["Laboratoire Math\u00e9matiques et Applications, D\u00e9partement de Math\u00e9matiques, Facult\u00e9 des Sciences et Techniques, Universit\u00e9 Hassan II -Casablanca, BP 146 Mohammedia, Morocco"],"affiliations":[{"raw_affiliation_string":"Laboratoire Math\u00e9matiques et Applications, D\u00e9partement de Math\u00e9matiques, Facult\u00e9 des Sciences et Techniques, Universit\u00e9 Hassan II -Casablanca, BP 146 Mohammedia, Morocco","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074634772","display_name":"Maurice Pouzet","orcid":"https://orcid.org/0000-0003-3348-3822"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210104796","display_name":"Institut Camille Jordan","ror":"https://ror.org/01ekw7f87","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I112936343","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210104796","https://openalex.org/I4405259976","https://openalex.org/I48430043"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Maurice Pouzet","raw_affiliation_strings":["Univ. Lyon, Universit\u00e9 Claude-Bernard Lyon1, CNRS UMR 5208, Institut Camille Jordan, 43 bd. 11 Novembre 1918, 69622 Villeurbanne Cedex, France and Mathematics & Statistics Department, University of Calgary, Calgary, Alberta, Canada"],"affiliations":[{"raw_affiliation_string":"Univ. Lyon, Universit\u00e9 Claude-Bernard Lyon1, CNRS UMR 5208, Institut Camille Jordan, 43 bd. 11 Novembre 1918, 69622 Villeurbanne Cedex, France and Mathematics & Statistics Department, University of Calgary, Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I100532134","https://openalex.org/I4210104796","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5008860225"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2814,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58700959,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"54","issue":null,"first_page":"4","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"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.9997000098228455,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9926000237464905,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9801999926567078,"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/injective-function","display_name":"Injective function","score":0.8412460088729858},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5435414910316467},{"id":"https://openalex.org/keywords/alphabet","display_name":"Alphabet","score":0.5356438159942627},{"id":"https://openalex.org/keywords/involution","display_name":"Involution (esoterism)","score":0.45094868540763855},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4331642985343933},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.42226406931877136},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13959017395973206},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.1170583963394165},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.05284547805786133}],"concepts":[{"id":"https://openalex.org/C128107574","wikidata":"https://www.wikidata.org/wiki/Q182003","display_name":"Injective function","level":2,"score":0.8412460088729858},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5435414910316467},{"id":"https://openalex.org/C112876837","wikidata":"https://www.wikidata.org/wiki/Q837518","display_name":"Alphabet","level":2,"score":0.5356438159942627},{"id":"https://openalex.org/C2781409172","wikidata":"https://www.wikidata.org/wiki/Q17056802","display_name":"Involution (esoterism)","level":3,"score":0.45094868540763855},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4331642985343933},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.42226406931877136},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13959017395973206},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.1170583963394165},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.05284547805786133},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C186720457","wikidata":"https://www.wikidata.org/wiki/Q7087","display_name":"Consciousness","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":9,"locations":[{"id":"doi:10.1051/ita/2020005","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/2020005","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/2020/01/ita190021.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1907.02231","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.02231","pdf_url":"https://arxiv.org/pdf/1907.02231","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:edpsciences.org:dkey/10.1051/ita/2020005","is_oa":true,"landing_page_url":null,"pdf_url":"https://www.rairo-ita.org/10.1051/ita/2020005/pdf","source":{"id":"https://openalex.org/S4306400744","display_name":"Springer Link (Chiba Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I8488066","host_organization_name":"Chiba Institute of Technology","host_organization_lineage":["https://openalex.org/I8488066"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1051/ita/2020005","raw_type":"Text"},{"id":"mag:2955186997","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1907.02231","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:HAL:hal-02903903v1","is_oa":true,"landing_page_url":"https://hal.science/hal-02903903","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2020, 54, pp.4. ⟨10.1051/ita/2020005⟩","raw_type":"Journal articles"},{"id":"pmh:oai:numdam.org:ITA_2020__54_1_A4_0","is_oa":false,"landing_page_url":"https://www.numdam.org/articles/10.1051/ita/2020005/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402264","display_name":"French digital mathematics library (Numdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70900168","host_organization_name":"Universit\u00e9 Savoie Mont Blanc","host_organization_lineage":["https://openalex.org/I70900168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"},{"id":"doi:10.48550/arxiv.1907.02231","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1907.02231","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.60692/95937-d3x28","is_oa":true,"landing_page_url":"https://doi.org/10.60692/95937-d3x28","pdf_url":null,"source":{"id":"https://openalex.org/S7407051682","display_name":"Greater South Information System","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.60692/s149f-7zk45","is_oa":true,"landing_page_url":"https://doi.org/10.60692/s149f-7zk45","pdf_url":null,"source":{"id":"https://openalex.org/S7407051682","display_name":"Greater South Information System","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.1051/ita/2020005","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/2020005","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/2020/01/ita190021.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2955186997.pdf","grobid_xml":"https://content.openalex.org/works/W2955186997.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W126581253","https://openalex.org/W1494501847","https://openalex.org/W1514324498","https://openalex.org/W1584451387","https://openalex.org/W1963492530","https://openalex.org/W1967236745","https://openalex.org/W1974563596","https://openalex.org/W1976660742","https://openalex.org/W1989919940","https://openalex.org/W1989943994","https://openalex.org/W1992923277","https://openalex.org/W2004079181","https://openalex.org/W2005505439","https://openalex.org/W2032250117","https://openalex.org/W2034457022","https://openalex.org/W2037252016","https://openalex.org/W2042324334","https://openalex.org/W2048570116","https://openalex.org/W2061396714","https://openalex.org/W2075618163","https://openalex.org/W2076508310","https://openalex.org/W2077863743","https://openalex.org/W2090139725","https://openalex.org/W2093397547","https://openalex.org/W2095376107","https://openalex.org/W2119945394","https://openalex.org/W2577255377","https://openalex.org/W2639154397","https://openalex.org/W2790162237","https://openalex.org/W2963151124","https://openalex.org/W4205302785","https://openalex.org/W4285719527","https://openalex.org/W4298377646"],"related_works":["https://openalex.org/W2034457022","https://openalex.org/W3100705276","https://openalex.org/W2044732501","https://openalex.org/W2502813434","https://openalex.org/W1978330266","https://openalex.org/W2272201197","https://openalex.org/W2159514227","https://openalex.org/W2018662085","https://openalex.org/W2058670384","https://openalex.org/W2473177851","https://openalex.org/W3011642072","https://openalex.org/W2083921439","https://openalex.org/W2010442650","https://openalex.org/W2571190722","https://openalex.org/W2073943258","https://openalex.org/W2605490950","https://openalex.org/W3203202400","https://openalex.org/W2552863228","https://openalex.org/W2243869071","https://openalex.org/W2025206072"],"abstract_inverted_index":{"We":[0,16],"consider":[1],"reflexive":[2],"and":[3],"involutive":[4],"transition":[5],"systems":[6],"over":[7],"an":[8,14],"ordered":[9],"alphabet":[10],"A":[11],"equipped":[12],"with":[13],"involution.":[15],"give":[17],"a":[18,37],"description":[19,43],"of":[20,24,30,39,48],"the":[21,46],"injective":[22],"envelope":[23],"any":[25],"two-element":[26],"set":[27],"in":[28],"terms":[29],"Galois":[31],"lattice,":[32],"from":[33],"which":[34],"we":[35],"derive":[36],"test":[38],"its":[40],"finiteness.":[41],"Our":[42],"leads":[44],"to":[45],"notion":[47],"Ferrers":[49],"language.":[50]},"counts_by_year":[{"year":2020,"cited_by_count":2}],"updated_date":"2026-02-24T19:35:01.260952","created_date":"2025-10-10T00:00:00"}