{"id":"https://openalex.org/W2150373770","doi":"https://doi.org/10.1080/00207169008803933","title":"The poset of retracts of a free monoid","display_name":"The poset of retracts of a free monoid","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W2150373770","doi":"https://doi.org/10.1080/00207169008803933","mag":"2150373770"},"language":"en","primary_location":{"id":"doi:10.1080/00207169008803933","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207169008803933","pdf_url":null,"source":{"id":"https://openalex.org/S124867444","display_name":"International Journal of Computer Mathematics","issn_l":"0020-7160","issn":["0020-7160","1026-7425","1029-0265"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computer Mathematics","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/A5024712618","display_name":"Wit Fory\u015b","orcid":null},"institutions":[{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]},{"id":"https://openalex.org/I126596746","display_name":"Jagiellonian University","ror":"https://ror.org/03bqmcz70","country_code":"PL","type":"education","lineage":["https://openalex.org/I126596746"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Wit Fory\u015b","raw_affiliation_strings":["\n                   \n               Institute of Computer Science, Jagiellonian University, Kopernika 27, Krakow, 31-015, Poland","Institute of Computer Science, Jagiellonian University, Kopernika 27, Krakow, 31-015, Poland"],"affiliations":[{"raw_affiliation_string":"\n                   \n               Institute of Computer Science, Jagiellonian University, Kopernika 27, Krakow, 31-015, Poland","institution_ids":["https://openalex.org/I126596746"]},{"raw_affiliation_string":"Institute of Computer Science, Jagiellonian University, Kopernika 27, Krakow, 31-015, Poland","institution_ids":["https://openalex.org/I126596746","https://openalex.org/I4210087266"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038890572","display_name":"Tom Head","orcid":"https://orcid.org/0000-0002-7558-6953"},"institutions":[{"id":"https://openalex.org/I123946342","display_name":"Binghamton University","ror":"https://ror.org/008rmbt77","country_code":"US","type":"education","lineage":["https://openalex.org/I123946342"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tom Head","raw_affiliation_strings":["\n                   \n               Department of Mathematical Sciences, State University of New York at Binghamton, Binghamton, New York, 13901, USA","Department of Mathematical Sciences, State University of New York at Binghamton, Binghamton, New York, 13901, USA"],"affiliations":[{"raw_affiliation_string":"\n                   \n               Department of Mathematical Sciences, State University of New York at Binghamton, Binghamton, New York, 13901, USA","institution_ids":["https://openalex.org/I123946342"]},{"raw_affiliation_string":"Department of Mathematical Sciences, State University of New York at Binghamton, Binghamton, New York, 13901, USA","institution_ids":["https://openalex.org/I123946342"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024712618"],"corresponding_institution_ids":["https://openalex.org/I126596746","https://openalex.org/I4210087266"],"apc_list":null,"apc_paid":null,"fwci":0.4806,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.66263385,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"37","issue":"1-2","first_page":"45","last_page":"48"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9932000041007996,"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.9932000041007996,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.9871000051498413,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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.9861000180244446,"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/infimum-and-supremum","display_name":"Infimum and supremum","score":0.9127030968666077},{"id":"https://openalex.org/keywords/partially-ordered-set","display_name":"Partially ordered set","score":0.9126842617988586},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8318235874176025},{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.7583306431770325},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.6509332656860352},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.613420844078064},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.49235236644744873},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4870167374610901},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4770863950252533},{"id":"https://openalex.org/keywords/free-monoid","display_name":"Free monoid","score":0.4623009264469147},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40135642886161804},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.10121747851371765}],"concepts":[{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.9127030968666077},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.9126842617988586},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8318235874176025},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.7583306431770325},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.6509332656860352},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.613420844078064},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.49235236644744873},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4870167374610901},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4770863950252533},{"id":"https://openalex.org/C149685015","wikidata":"https://www.wikidata.org/wiki/Q5500266","display_name":"Free monoid","level":3,"score":0.4623009264469147},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40135642886161804},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10121747851371765},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/00207169008803933","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207169008803933","pdf_url":null,"source":{"id":"https://openalex.org/S124867444","display_name":"International Journal of Computer Mathematics","issn_l":"0020-7160","issn":["0020-7160","1026-7425","1029-0265"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computer Mathematics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.75}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1523977407","https://openalex.org/W1996278077","https://openalex.org/W2028351352","https://openalex.org/W2034358701","https://openalex.org/W2076747746","https://openalex.org/W2078331597","https://openalex.org/W2118545936","https://openalex.org/W2574267903"],"related_works":["https://openalex.org/W2080736371","https://openalex.org/W1995164207","https://openalex.org/W51936586","https://openalex.org/W2071633178","https://openalex.org/W2375401910","https://openalex.org/W3161268522","https://openalex.org/W2383679568","https://openalex.org/W4300720232","https://openalex.org/W2018277027","https://openalex.org/W2090238248"],"abstract_inverted_index":{"Abstract":[0],"The":[1,77,127],"set":[2,82],"of":[3,5,14,51,55,58,83,86,112,123,125],"retracts":[4,57,85,113,124],"a":[6,21,36,115],"free":[7,39],"monoid":[8,40],"F":[9,27,41,59,87],"with":[10],"the":[11,53,81,90,101,121],"partial":[12],"order":[13],"inclusion":[15],"is":[16,20,28,43,62,75,94],"investigated.":[17],"This":[18,99],"poset":[19,122],"lattice":[22],"if":[23,26],"and":[24,97,135],"only":[25],"generated":[29,38,79],"by":[30,80],"three":[31],"or":[32,107,117],"fewer":[33],"elements.":[34],"For":[35],"finitely":[37],"it":[42],"shown":[44],"non-constructively":[45],"that,":[46],"for":[47,70,132],"every":[48],"submonoid":[49,78,92],"S":[50,61,74,93],"F,":[52],"intersection":[54,72],"all":[56,84],"containing":[60],"regular.":[63,76],"A":[64],"regular":[65,91,96,130],"expression":[66],"can":[67],"be":[68,104],"constructed":[69],"this":[71],"when":[73,137],"contained":[88],"in":[89,120],"also":[95],"constructable.":[98],"allows":[100],"decision":[102],"to":[103],"made":[105],"whether":[106],"not":[108],"any":[109],"given":[110],"pair":[111],"has":[114],"supremum":[116],"an":[118],"infimum":[119],"F.":[126],"procedure":[128],"yields":[129],"expressions":[131],"such":[133],"suprema":[134],"infima":[136],"they":[138],"exist.":[139],"Keywords:":[140],"RetractscodeslanguagesmonoidssemigroupsC.R.":[141],"Categories:":[142],"F.4":[143],"(Formal":[144],"Langs)":[145]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}