{"id":"https://openalex.org/W2096361394","doi":"https://doi.org/10.1142/s0129054114400267","title":"ON THE NUMBER OF ABELIAN BORDERED WORDS (WITH AN EXAMPLE OF AUTOMATIC THEOREM-PROVING)","display_name":"ON THE NUMBER OF ABELIAN BORDERED WORDS (WITH AN EXAMPLE OF AUTOMATIC THEOREM-PROVING)","publication_year":2014,"publication_date":"2014-12-01","ids":{"openalex":"https://openalex.org/W2096361394","doi":"https://doi.org/10.1142/s0129054114400267","mag":"2096361394"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054114400267","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054114400267","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://orbi.uliege.be/bitstream/2268/178701/1/numberAbelianBorder.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040124658","display_name":"Daniel Go\u010d","orcid":null},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"DANIEL GO\u010c","raw_affiliation_strings":["School of Computing, Queen\u2019s University, Kingston, Ontario K7L 3N6, Canada","School of Computing Queen's University, Kingston, Ontario, K7L 3N6, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing, Queen\u2019s University, Kingston, Ontario K7L 3N6, Canada","institution_ids":["https://openalex.org/I204722609"]},{"raw_affiliation_string":"School of Computing Queen's University, Kingston, Ontario, K7L 3N6, Canada","institution_ids":["https://openalex.org/I204722609"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023519726","display_name":"Narad Rampersad","orcid":"https://orcid.org/0000-0001-7489-0980"},"institutions":[{"id":"https://openalex.org/I872945872","display_name":"University of Winnipeg","ror":"https://ror.org/02gdzyx04","country_code":"CA","type":"education","lineage":["https://openalex.org/I872945872"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"NARAD RAMPERSAD","raw_affiliation_strings":["Department of Mathematics and Statistics, University of Winnipeg, 515 Portage Ave. Winnipeg, MB, R3B 2E9, Canada","Department of Mathematics and Statistics, University of Winnipeg, 515 Portage Ave., Winnipeg, MB, R3B 2E9 Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Winnipeg, 515 Portage Ave. Winnipeg, MB, R3B 2E9, Canada","institution_ids":["https://openalex.org/I872945872"]},{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Winnipeg, 515 Portage Ave., Winnipeg, MB, R3B 2E9 Canada","institution_ids":["https://openalex.org/I872945872"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027485931","display_name":"Michel Rigo","orcid":"https://orcid.org/0000-0001-7463-8507"},"institutions":[{"id":"https://openalex.org/I157674565","display_name":"University of Li\u00e8ge","ror":"https://ror.org/00afp2z80","country_code":"BE","type":"education","lineage":["https://openalex.org/I157674565"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"MICHEL RIGO","raw_affiliation_strings":["Department of Mathematics, University of Li\u00e8ge, Grande traverse 12 (B37), B-4000 Li\u00e8ge, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Li\u00e8ge, Grande traverse 12 (B37), B-4000 Li\u00e8ge, Belgium","institution_ids":["https://openalex.org/I157674565"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108600661","display_name":"Pavel Salimov","orcid":null},"institutions":[{"id":"https://openalex.org/I157674565","display_name":"University of Li\u00e8ge","ror":"https://ror.org/00afp2z80","country_code":"BE","type":"education","lineage":["https://openalex.org/I157674565"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"PAVEL SALIMOV","raw_affiliation_strings":["Department of Mathematics, University of Li\u00e8ge, Grande traverse 12 (B37), B-4000 Li\u00e8ge, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Li\u00e8ge, Grande traverse 12 (B37), B-4000 Li\u00e8ge, Belgium","institution_ids":["https://openalex.org/I157674565"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5040124658"],"corresponding_institution_ids":["https://openalex.org/I204722609"],"apc_list":null,"apc_paid":null,"fwci":1.8351,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.86008939,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"25","issue":"08","first_page":"1097","last_page":"1110"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"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":1.0,"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.996999979019165,"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"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9969000220298767,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/bijection-injection-and-surjection","display_name":"Bijection, injection and surjection","score":0.7779375314712524},{"id":"https://openalex.org/keywords/abelian-group","display_name":"Abelian group","score":0.770892858505249},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.7439380884170532},{"id":"https://openalex.org/keywords/combinatorics-on-words","display_name":"Combinatorics on words","score":0.7226965427398682},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6579765677452087},{"id":"https://openalex.org/keywords/alphabet","display_name":"Alphabet","score":0.6303383111953735},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5204867720603943},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.46202975511550903},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.4232524633407593},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37020984292030334},{"id":"https://openalex.org/keywords/bijection","display_name":"Bijection","score":0.26033881306648254},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.06688281893730164},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.05876919627189636}],"concepts":[{"id":"https://openalex.org/C48659774","wikidata":"https://www.wikidata.org/wiki/Q4907197","display_name":"Bijection, injection and surjection","level":3,"score":0.7779375314712524},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.770892858505249},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.7439380884170532},{"id":"https://openalex.org/C164804908","wikidata":"https://www.wikidata.org/wiki/Q2985058","display_name":"Combinatorics on words","level":3,"score":0.7226965427398682},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6579765677452087},{"id":"https://openalex.org/C112876837","wikidata":"https://www.wikidata.org/wiki/Q837518","display_name":"Alphabet","level":2,"score":0.6303383111953735},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5204867720603943},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.46202975511550903},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.4232524633407593},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37020984292030334},{"id":"https://openalex.org/C24424167","wikidata":"https://www.wikidata.org/wiki/Q180907","display_name":"Bijection","level":2,"score":0.26033881306648254},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.06688281893730164},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.05876919627189636},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1142/s0129054114400267","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054114400267","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:orbi.ulg.ac.be:2268/178701","is_oa":true,"landing_page_url":"https://orbi.uliege.be/handle/2268/178701","pdf_url":"https://orbi.uliege.be/bitstream/2268/178701/1/numberAbelianBorder.pdf","source":{"id":"https://openalex.org/S4306400651","display_name":"Open Repository and Bibliography (University of Li\u00e8ge)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I157674565","host_organization_name":"University of Li\u00e8ge","host_organization_lineage":["https://openalex.org/I157674565"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Foundations of Computer Science, 8, 1097-1110 (2014)","raw_type":"peer reviewed"}],"best_oa_location":{"id":"pmh:oai:orbi.ulg.ac.be:2268/178701","is_oa":true,"landing_page_url":"https://orbi.uliege.be/handle/2268/178701","pdf_url":"https://orbi.uliege.be/bitstream/2268/178701/1/numberAbelianBorder.pdf","source":{"id":"https://openalex.org/S4306400651","display_name":"Open Repository and Bibliography (University of Li\u00e8ge)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I157674565","host_organization_name":"University of Li\u00e8ge","host_organization_lineage":["https://openalex.org/I157674565"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Foundations of Computer Science, 8, 1097-1110 (2014)","raw_type":"peer reviewed"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2206336317","display_name":null,"funder_award_id":"12-01-00089","funder_id":"https://openalex.org/F4320321079","funder_display_name":"Russian Foundation for Basic Research"}],"funders":[{"id":"https://openalex.org/F4320321079","display_name":"Russian Foundation for Basic Research","ror":"https://ror.org/02mh1ke95"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2096361394.pdf","grobid_xml":"https://content.openalex.org/works/W2096361394.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W6625301","https://openalex.org/W147591887","https://openalex.org/W1966608198","https://openalex.org/W1980588086","https://openalex.org/W2036456427","https://openalex.org/W2085292138","https://openalex.org/W2087402722","https://openalex.org/W2101596584","https://openalex.org/W2113472141","https://openalex.org/W2163696969","https://openalex.org/W2277654133","https://openalex.org/W2529826859","https://openalex.org/W2570053645","https://openalex.org/W2592757846"],"related_works":["https://openalex.org/W2950674028","https://openalex.org/W2922282992","https://openalex.org/W4300836674","https://openalex.org/W2015232716","https://openalex.org/W2963534902","https://openalex.org/W2131864548","https://openalex.org/W4298870704","https://openalex.org/W1634002241","https://openalex.org/W1989728373","https://openalex.org/W2950489119"],"abstract_inverted_index":{"In":[0,63],"the":[1,23,37,58,69,74,82,85,91,106],"literature,":[2],"many":[3],"bijections":[4],"between":[5],"(labeled)":[6],"Motzkin":[7,28],"paths":[8,29,31,72],"and":[9,21,30,52],"various":[10],"other":[11],"combinatorial":[12],"objects":[13],"are":[14],"studied.":[15],"We":[16],"consider":[17],"abelian":[18,45,86],"(un)bordered":[19],"words":[20,47],"show":[22],"connection":[24,70],"with":[25,71],"irreducible":[26],"symmetric":[27],"in":[32,73,90],"\u2124":[33],"not":[34],"returning":[35],"to":[36,44,56],"origin.":[38],"This":[39],"study":[40],"can":[41],"be":[42],"extended":[43],"unbordered":[46,87],"over":[48,65],"an":[49],"arbitrary":[50],"alphabet":[51],"we":[53,80],"derive":[54],"expressions":[55],"compute":[57],"number":[59],"of":[60,84,97,105],"these":[61],"words.":[62],"particular,":[64],"a":[66,102],"3-letter":[67],"alphabet,":[68],"triangular":[75],"lattice":[76],"is":[77],"made.":[78],"Finally,":[79],"characterize":[81],"lengths":[83],"factors":[88],"occurring":[89],"Thue\u2013Morse":[92],"word":[93],"using":[94],"some":[95],"kind":[96],"automatic":[98],"theorem-proving":[99],"provided":[100],"by":[101],"logical":[103],"characterization":[104],"k-automatic":[107],"sequences.":[108]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}