学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
深度研究
学者亮点
学术资源
AI2000
期刊/会议
学者库
学术API
MCP&Skill
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
Electronic Proceedings in Theoretical Computer Science (EPTCS)
Journal
ISSN 2075-2180
eISSN 2075-2180
年发文量
研究主题
论文（4875）
排序
时间
引用
1
Über Überconsistent Logics and Dialetheism
Heinrich Wansing
2026
引用
AI阅读
加入学术空间
2
A Canonical Representation Theorem for Finite Ordered Monoids with Aligned Local Units
Sándor Jenei
2026
引用
AI阅读
加入学术空间
3
A Tableau Approach to Lewis' Logic of Counterfactuals
Tomasz Jarmużek
,
Kacper Wąsiak
2026
引用
AI阅读
加入学术空间
4
Merging and Evolution of Data Bases: A Many-Logic Approach
Manuel A. Martins
,
Abilio Rodrigues
2026
引用
AI阅读
加入学术空间
5
Paraclassical Logics with Two Negations
Pawel Pawlowski
,
Pietro Vigiani
2026
引用
AI阅读
加入学术空间
立即登录
，查看全部 4875 篇论文
高被引作者
作者
引用
发文
Bob Coecke
524
29
Aleks Kissinger
519
22
Kim Guldstrand Larsen
481
17
Axel Legay
407
14
Ross Duncan
395
11
Roderick Bloem
336
8
Dino Distefano
332
1
Peter O'Hearn
332
1
Jérémy Dubreil
332
1
Martino Luca
332
1
高产作者
作者
引用
发文
Bob Coecke
524
29
Mariangiola Dezani-Ciancaglini
241
22
Aleks Kissinger
519
22
Emilio Tuosto
152
20
Maribel Fernandez
179
18
Vasco T. Vasconcelos
139
17
Kim Guldstrand Larsen
481
17
Stefano Gogioso
141
17
Franco Barbanera
120
16
Gopal Gupta
98
16
相关期刊
Journal of Automated Reasoning
Logical Methods in Computer Science
International Conference on Concurrency Theory
Foundations of Software Science and Computation Structure
Logic Programming and Automated Reasoning
ACM/IEEE Symposium on Logic in Computer Science
Reachability Problems
Information and Computation
Bulletin of The European Association for Theoretical Computer Science
ACM Transactions on Computational Logic
