学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
深度研究
学者亮点
学术资源
AI2000
期刊/会议
学者库
学术API
MCP&Skill
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
Formal Structures for Computation and Deduction
Conference
年发文量
研究主题
论文（421）
排序
时间
引用
1
Not Choosing is Still a Choice: Constructive Mathematics Without Any Choice.
Martin Baillon
,
Yannick Forster
,
Dominik Kirst
,
Assia Mahboubi
,
Pierre-Marie Pédrot
2026
引用
AI阅读
加入学术空间
2
Divide and Check: Logical Relations, No Algorithms Attached.
Josselin Poiret
,
Kenji Maillard
,
Nicolas Tabareau
2026
引用
AI阅读
加入学术空间
3
On the Consistency of Naive Set Theories over Substructural and Fuzzy Logics.
Kazushige Terui
2026
引用
AI阅读
加入学术空间
4
Equational Reasoning in Languages with Binders Via Permutation Fixed-Points.
Ali K. Caires-Santos
,
Maribel Fernández
,
Murdoch James Gabbay
,
Daniele Nantes-Sobrinho
2026
引用
AI阅读
加入学术空间
5
How Term Rewriting Structures Shape the Decidability of Knowledge Problems.
Raja O. P. Damanik
,
Alwen Tiu
2026
引用
AI阅读
加入学术空间
立即登录
，查看全部 421 篇论文
高被引作者
作者
引用
发文
Daniel R. Licata
151
3
Ambrus Kaposi
117
8
Aart Middeldorp
102
7
Ian Orton
81
2
Andrew Pitts
81
3
Bas Spitters
80
1
Giulio Manzonetto
72
7
Robert Atkey
71
3
Yoshihito Toyama
70
3
Frédéric Blanqui
68
5
高产作者
作者
引用
发文
Ambrus Kaposi
117
8
Aart Middeldorp
102
7
Andrej Dudenhefner
50
7
Samuel Mimram
55
7
Frank Pfenning
33
7
Cynthia Kop
52
7
Giulio Manzonetto
72
7
Ugo Dal Lago
28
6
Temur Kutsia
42
6
Maribel Fernandez
56
6
相关期刊
Typed Lambda Calculus and Applications
Types for Proofs and Programs
Conference on Algebra and Coalgebra in Computer Science
Annual Conference for Computer Science Logic
Foundations of Software Science and Computation Structure
International Conference on Applications of Declarative Programming and Knowledge Management
Logical and Semantic Frameworks with Applications
Mathematical Foundations of Programming Semantics
Mathematics of Program Construction
International Conference on Relational and Algebraic Methods in Computer Science
