{"id":"https://openalex.org/W2102379027","doi":"https://doi.org/10.37236/3051","title":"Enumeration of Generalized $BCI$ Lambda-terms","display_name":"Enumeration of Generalized $BCI$ Lambda-terms","publication_year":2013,"publication_date":"2013-12-17","ids":{"openalex":"https://openalex.org/W2102379027","doi":"https://doi.org/10.37236/3051","mag":"2102379027"},"language":"en","primary_location":{"id":"doi:10.37236/3051","is_oa":true,"landing_page_url":"https://doi.org/10.37236/3051","pdf_url":"https://www.combinatorics.org/ojs/index.php/eljc/article/download/v20i4p30/pdf","source":{"id":"https://openalex.org/S38448739","display_name":"The Electronic Journal of Combinatorics","issn_l":"1077-8926","issn":["1077-8926","1097-1440"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317970","host_organization_name":"Electronic Journal of Combinatorics","host_organization_lineage":["https://openalex.org/P4310317970"],"host_organization_lineage_names":["Electronic Journal of Combinatorics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Electronic Journal of Combinatorics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.combinatorics.org/ojs/index.php/eljc/article/download/v20i4p30/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021750107","display_name":"Olivier Bodini","orcid":"https://orcid.org/0000-0002-1867-667X"},"institutions":[{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210091279"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Olivier Bodini","raw_affiliation_strings":["Paris 13 University"],"affiliations":[{"raw_affiliation_string":"Paris 13 University","institution_ids":["https://openalex.org/I4210091279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029756099","display_name":"Dani\u00e8le Gardy","orcid":"https://orcid.org/0000-0001-6425-4585"},"institutions":[{"id":"https://openalex.org/I195731000","display_name":"Universit\u00e9 de Versailles Saint-Quentin-en-Yvelines","ror":"https://ror.org/03mkjjy25","country_code":"FR","type":"education","lineage":["https://openalex.org/I195731000","https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Dani\u00e8le Gardy","raw_affiliation_strings":["Versailles Saint-Quentin-en-Yvelines University#TAB#"],"affiliations":[{"raw_affiliation_string":"Versailles Saint-Quentin-en-Yvelines University#TAB#","institution_ids":["https://openalex.org/I195731000"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037333569","display_name":"Bernhard Gittenberger","orcid":"https://orcid.org/0000-0002-2639-8227"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Bernhard Gittenberger","raw_affiliation_strings":["Vienna University of Technology"],"affiliations":[{"raw_affiliation_string":"Vienna University of Technology","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019133378","display_name":"Alice Jacquot","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210091279"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Alice Jacquot","raw_affiliation_strings":["Paris 13 University"],"affiliations":[{"raw_affiliation_string":"Paris 13 University","institution_ids":["https://openalex.org/I4210091279"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5021750107"],"corresponding_institution_ids":["https://openalex.org/I4210091279"],"apc_list":null,"apc_paid":null,"fwci":1.8493,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.86130532,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"20","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9969000220298767,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9969000220298767,"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/T11567","display_name":"semigroups and automata theory","score":0.9962000250816345,"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.989300012588501,"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/mathematics","display_name":"Mathematics","score":0.8395313024520874},{"id":"https://openalex.org/keywords/lambda","display_name":"Lambda","score":0.773072361946106},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.7587128281593323},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6241487860679626},{"id":"https://openalex.org/keywords/generating-function","display_name":"Generating function","score":0.6202114820480347},{"id":"https://openalex.org/keywords/recurrence-relation","display_name":"Recurrence relation","score":0.6014342308044434},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5284167528152466},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.49552905559539795},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.48590436577796936},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4667019844055176},{"id":"https://openalex.org/keywords/counting-problem","display_name":"Counting problem","score":0.46352726221084595},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.45429980754852295},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4260811507701874},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.413942813873291},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.36142903566360474},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19659486413002014},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1953333020210266},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.08023300766944885},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07637515664100647}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8395313024520874},{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.773072361946106},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.7587128281593323},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6241487860679626},{"id":"https://openalex.org/C204911207","wikidata":"https://www.wikidata.org/wiki/Q860609","display_name":"Generating function","level":2,"score":0.6202114820480347},{"id":"https://openalex.org/C201292218","wikidata":"https://www.wikidata.org/wiki/Q740970","display_name":"Recurrence relation","level":2,"score":0.6014342308044434},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5284167528152466},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.49552905559539795},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.48590436577796936},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4667019844055176},{"id":"https://openalex.org/C16592021","wikidata":"https://www.wikidata.org/wiki/Q5177154","display_name":"Counting problem","level":2,"score":0.46352726221084595},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.45429980754852295},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4260811507701874},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.413942813873291},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.36142903566360474},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19659486413002014},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1953333020210266},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.08023300766944885},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07637515664100647},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","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},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.37236/3051","is_oa":true,"landing_page_url":"https://doi.org/10.37236/3051","pdf_url":"https://www.combinatorics.org/ojs/index.php/eljc/article/download/v20i4p30/pdf","source":{"id":"https://openalex.org/S38448739","display_name":"The Electronic Journal of Combinatorics","issn_l":"1077-8926","issn":["1077-8926","1097-1440"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317970","host_organization_name":"Electronic Journal of Combinatorics","host_organization_lineage":["https://openalex.org/P4310317970"],"host_organization_lineage_names":["Electronic Journal of Combinatorics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Electronic Journal of Combinatorics","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.37236/3051","is_oa":true,"landing_page_url":"https://doi.org/10.37236/3051","pdf_url":"https://www.combinatorics.org/ojs/index.php/eljc/article/download/v20i4p30/pdf","source":{"id":"https://openalex.org/S38448739","display_name":"The Electronic Journal of Combinatorics","issn_l":"1077-8926","issn":["1077-8926","1097-1440"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317970","host_organization_name":"Electronic Journal of Combinatorics","host_organization_lineage":["https://openalex.org/P4310317970"],"host_organization_lineage_names":["Electronic Journal of Combinatorics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Electronic Journal of Combinatorics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1767973943","display_name":null,"funder_award_id":"SFB F50-03","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G2549575712","display_name":null,"funder_award_id":"SFB F50","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G3743640176","display_name":null,"funder_award_id":"SFB F50-03","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320322839","display_name":"Technische Universit\u00e4t Wien","ror":"https://ror.org/04d836q62"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2102379027.pdf"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W186403072","https://openalex.org/W196531003","https://openalex.org/W579310045","https://openalex.org/W1535521146","https://openalex.org/W1594729400","https://openalex.org/W1970863359","https://openalex.org/W2004282542","https://openalex.org/W2023605482","https://openalex.org/W2078688875","https://openalex.org/W2080372261","https://openalex.org/W2094965692","https://openalex.org/W2117955223","https://openalex.org/W2129139293","https://openalex.org/W2154273644","https://openalex.org/W2296468158","https://openalex.org/W2323777246","https://openalex.org/W2325612495","https://openalex.org/W2338454682","https://openalex.org/W2339822315","https://openalex.org/W2340541605","https://openalex.org/W2575871956","https://openalex.org/W2963504583","https://openalex.org/W3098021658","https://openalex.org/W4233743347"],"related_works":["https://openalex.org/W1982980084","https://openalex.org/W2024532720","https://openalex.org/W2551082991","https://openalex.org/W2045390532","https://openalex.org/W2071588082","https://openalex.org/W2189105445","https://openalex.org/W3166262075","https://openalex.org/W4394876590","https://openalex.org/W2418411990","https://openalex.org/W2248869909"],"abstract_inverted_index":{"We":[0,51],"investigate":[1],"the":[2,34,38,56,60,72,91,111],"asymptotic":[3],"number":[4,92],"of":[5,7,14,25,37,59,63,68,74,78,93,96,110],"elements":[6],"size":[8,97],"$n$":[9],"in":[10],"a":[11,30,43,100],"particular":[12],"class":[13,73],"closed":[15,79,94],"lambda-terms":[16,95],"(so-called":[17],"$BCI(p)$-terms)":[18],"which":[19,46,105],"are":[20,115],"related":[21],"to":[22],"axiom":[23],"systems":[24],"combinatory":[26],"logic.":[27],"By":[28],"deriving":[29],"differential":[31,53],"equation":[32],"for":[33,55,90],"generating":[35,57],"function":[36],"counting":[39,61,112],"sequence":[40],"we":[41,84],"obtain":[42,85],"recurrence":[44,101],"relation":[45,102],"can":[47],"be":[48],"solved":[49],"asymptotically.":[50],"derive":[52],"equations":[54],"functions":[58],"sequences":[62],"other":[64],"more":[65],"general":[66],"classes":[67],"terms":[69],"as":[70],"well:":[71],"$BCK(p)$-terms":[75,114],"and":[76,87],"that":[77],"lambda-terms.":[80],"Using":[81],"elementary":[82],"arguments":[83],"upper":[86],"lower":[88],"estimates":[89],"$n$.":[98],"Moreover,":[99],"is":[103],"derived":[104],"allows":[106],"an":[107],"efficient":[108],"computation":[109],"sequence.":[113],"discussed":[116],"briefly.":[117]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}