逻辑在组合序列及其递归关系中的应用

AMS-ASL Joint Special Session Pub Date : 1900-01-01 DOI:10.1090/conm/558/11047

E. Fischer, Tomer Kotek, J. Makowsky

{"title":"逻辑在组合序列及其递归关系中的应用","authors":"E. Fischer, Tomer Kotek, J. Makowsky","doi":"10.1090/conm/558/11047","DOIUrl":null,"url":null,"abstract":"2010 Mathematics Subject Classification. 03-02, 03C98, 05-02, 05A15, 11B50 . Partially supported by an ISF grant number 1101/06 and an ERC-2007-StG grant number 202405. Partially supported by the Fein Foundation and the Graduate School of the Technion Israel Institute of Technology. Partially supported by the Israel Science Foundation for the project “Model Theoretic Interpretations of Counting Functions” (2007-2010) and the Grant for Promotion of Research by the Technion–Israel Institute of Technology.","PeriodicalId":110641,"journal":{"name":"AMS-ASL Joint Special Session","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":"{\"title\":\"Application of logic to combinatorial sequences and their recurrence relations\",\"authors\":\"E. Fischer, Tomer Kotek, J. Makowsky\",\"doi\":\"10.1090/conm/558/11047\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"2010 Mathematics Subject Classification. 03-02, 03C98, 05-02, 05A15, 11B50 . Partially supported by an ISF grant number 1101/06 and an ERC-2007-StG grant number 202405. Partially supported by the Fein Foundation and the Graduate School of the Technion Israel Institute of Technology. Partially supported by the Israel Science Foundation for the project “Model Theoretic Interpretations of Counting Functions” (2007-2010) and the Grant for Promotion of Research by the Technion–Israel Institute of Technology.\",\"PeriodicalId\":110641,\"journal\":{\"name\":\"AMS-ASL Joint Special Session\",\"volume\":\"7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"12\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"AMS-ASL Joint Special Session\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1090/conm/558/11047\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"AMS-ASL Joint Special Session","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/conm/558/11047","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 12

摘要

2010数学学科分类。03-02,03C98, 05-02, 05A15, 11B50。部分由ISF资助号1101/06和ERC-2007-StG资助号202405支持。部分由费恩基金会和以色列理工学院研究生院支持。以色列科学基金会“计数函数的模型理论解释”项目(2007-2010)和以色列理工学院促进研究基金部分资助。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Application of logic to combinatorial sequences and their recurrence relations

2010 Mathematics Subject Classification. 03-02, 03C98, 05-02, 05A15, 11B50 . Partially supported by an ISF grant number 1101/06 and an ERC-2007-StG grant number 202405. Partially supported by the Fein Foundation and the Graduate School of the Technion Israel Institute of Technology. Partially supported by the Israel Science Foundation for the project “Model Theoretic Interpretations of Counting Functions” (2007-2010) and the Grant for Promotion of Research by the Technion–Israel Institute of Technology.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

AMS-ASL Joint Special Session

自引率

0.00%

发文量