• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
    • 联系方式
    ACM/IEEE Symposium on Logic in Computer Science

    ACM/IEEE Symposium on Logic in Computer Science

    ConferenceCCF 计算机科学理论 A

    年发文量

    研究主题

    论文（2347）

    排序
    1A Computer Formalisation of the Serre Finiteness Theorem.
    Reid Barton, Axel Ljungström, Owen Milner,Anders Mörtberg
    2026
    引用
    AI阅读
    加入学术空间
    2Classifying 2-Groups in Homotopy Type Theory.
    Perry Hart, Owen Milner
    2026
    引用
    AI阅读
    加入学术空间
    3From Co-Coverages to Radicals in Complete Lattices.
    Daniel Misselbeck-Wessel
    2026
    引用
    AI阅读
    加入学术空间
    4A Naturally-Colored Translation from LTL to Parity and COCOA.
    Rüdiger Ehlers, Ayrat Khalimov
    2026
    引用
    AI阅读
    加入学术空间
    5Fat Cell Structures and Generalized Algebraic Theories.
    Xu Huang, Carlo Angiuli
    2026
    引用
    AI阅读
    加入学术空间
    立即登录，查看全部 2347 篇论文

    高被引作者

    作者引用发文
    Thomas A. Henzinger678617
    Moshe Y. Vardi462828
    John C. Reynolds36222
    Pierre Wolper29442
    Edmund M. Clarke28999
    Samson Abramsky272312
    Gordon David Plotkin261619
    Rajeev Alur252412
    Ken Mcmillan25083
    David Dill21283

    高产作者

    作者引用发文
    Moshe Y. Vardi462828
    Mikołaj Bojańczyk96825
    Krishnendu Chatterjee90723
    James Worrell82023
    Martin Grohe99921
    Luke Ong109920
    Marcelo P. Fiore138719
    Gordon David Plotkin261619
    Joël Ouaknine56418
    Glynn Winskel113218

    相关期刊

    Mathematical Structures in Computer Science
    Types for Proofs and Programs
    Conference on Algebra and Coalgebra in Computer Science
    Annual Conference for Computer Science Logic
    Formal Structures for Computation and Deduction
    Foundations of Software Science and Computation Structure
    Logic Programming and Automated Reasoning
    International Conference on Relational and Algebraic Methods in Computer Science
    Electronic Proceedings in Theoretical Computer Science (EPTCS)
    ACM Transactions on Computational Logic