ACM/IEEE Symposium on Logic in Computer Science | AMiner期刊详情 | AMiner

ACM/IEEE Symposium on Logic in Computer Science | AMiner期刊详情 | AMiner

年发文量

研究主题

论文（2295）

排序

时间引用

1A Computer Formalisation of the Serre Finiteness Theorem.

Reid Barton, Axel Ljungström, Owen Milner,Anders Mörtberg

2026

引用

2Classifying 2-Groups in Homotopy Type Theory.

Perry Hart, Owen Milner

2026

引用

3From Co-Coverages to Radicals in Complete Lattices.

Daniel Misselbeck-Wessel

2026

引用

4A Naturally-Colored Translation from LTL to Parity and COCOA.

Rüdiger Ehlers, Ayrat Khalimov

2026

引用

5Fat Cell Structures and Generalized Algebraic Theories.

Xu Huang, Carlo Angiuli

2026

引用

6A Machine-Independent, Log-Sensitive Space-Cost Measure for the Weak Lambda-Calculus.

Thibaut Balabonski

2026

引用

7Constructing Small Monadic Decompositions in Presburger Arithmetic.

Moses Ganardi, Marin Ricros

2026

引用

8Axiomatizability of Alexandrov Dynamic Topological Logic.

Niels C. Vooijs, David Fernández-Duque

2026

引用

9Randomness Extraction Fails for Finite-State Dimension.

Subin Pulari, Akhil S

2026

引用

10Oracles Just for Fan: A Robust Computational Interpretation of the Fan Theorem.

Titouan Leclercq, Étienne Miquey

2026

引用

11A Convenient Fibration for Dependently-Typed Probability Theory.

Danel Ahman,Ohad Kammar,Rasmus Ejlers Møgelberg

2026

引用

12Lazy Intermediate Representations for Algebraic Effects.

Simon Castellan,Hugo Paquet

2026

引用

13Quantum Control and General Recursion Beyond the Unitary Case.

Kathleen Barsse,Romain Péchoux,Simon Perdrix

2026

引用

14Meta-Mathematics of Algebraic Complexity.

Michal Garlík, Svyatoslav Gryaznov, Jiaqi Lu,Rahul Santhanam,Iddo Tzameret

2026

引用

15Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability.

Giorgio Bacci, Rasmus Ejlers Møgelberg

2026

引用

16Checking History Determinism for Parity Automata is in NP.

Karoliina Lehtinen, Keya Prakash,Michal Skrzypczak

2026

引用

17Unbounded Data Nesting for Loops in Higher-Order Programs.

Adriana Baldacchino, Andrzej S. Murawski

2026

引用

18Automata for MSO over Infinite Trees with Quantification over Borel Sets of Branches.

Mikolaj Bojanczyk, Antonio Casares, Sven Manthe,Pawel Parys

2026

引用

19A Rational Defense of Reasonable Reflection (invited Paper).

Nada Amin

2026

引用

20Monads and Distributive Laws in Substructural Contexts.

Soichiro Fujii, Yun Chen Tsai, Yoàv Montacute, Ichiro Hasuo

2026

引用

高被引作者

作者	引用	发文
Moshe Y. Vardi	4388	25
Thomas A. Henzinger	4361	17
John C. Reynolds	3622	2
Pierre Wolper	2878	2
Edmund M. Clarke	2868	9
Samson Abramsky	2689	12
Gordon David Plotkin	2593	19
Ken Mcmillan	2508	3
Rajeev Alur	2491	12
David Dill	2128	3

高产作者

作者	引用	发文
Moshe Y. Vardi	4388	25
Mikołaj Bojańczyk	948	24
Krishnendu Chatterjee	850	23
James Worrell	747	23
Martin Grohe	926	21
Luke Ong	758	19
Marcelo P. Fiore	1339	19
Gordon David Plotkin	2593	19
Ugo Dal Lago	458	18
Glynn Winskel	1040	18

相关期刊

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