LICSTheoretical Computer Science
ACM/IEEE Symposium on Logic in Computer Science
506Papers indexed
2020-2026Years covered
Recent papers
- A Cartesian Closed Fibration of Higher-Order Regular LanguagesPaul-André Melliès, Vincent Moreau2026
- A Categorical Account of the Metropolis-Hastings AlgorithmRob Cornish, Andi Q. Wang2026
- A Categorical Perspective on Constraint Satisfaction: The Wonderland of AdjunctionsMaximilian Hadek, Tomás Jakl, Jakub Oprsal2026
- A Complete Equational Theory for Real-Clifford+CH Quantum CircuitsAlexandre Clément2026
- A Complexity Bound for Determinisation of Min-Plus Weighted AutomataShaull Almagor, Guy Arbel, Sarai Sheinvald2026
- A Computer Formalisation of the Serre Finiteness TheoremReid Barton, Axel Ljungström, Owen Milner, Anders Mörtberg2026
- A Convenient Fibration for Dependently-Typed Probability TheoryDanel Ahman, Ohad Kammar, Rasmus Ejlers Møgelberg2026
- A Machine-Independent, Log-Sensitive Space-Cost Measure for the Weak Lambda-CalculusThibaut Balabonski2026 · 1 citation
- A Naturally-Colored Translation from LTL to Parity and COCOARüdiger Ehlers, Ayrat Khalimov2026 · 1 citation
- A Unified Treatment of the Substitution Tensor for Presheaves, Nominal Sets, Renaming Sets, and so onFabian Lenke, Stefan Milius, Henning Urbat2026
- An Algebraic Approach to Formal System MetatheoryFrancesco Gavazzo2026
- Automata for MSO over Infinite Trees with Quantification over Borel Sets of BranchesMikolaj Bojanczyk, Antonio Casares, Sven Manthe, Pawel Parys2026
- Axiomatizability of Alexandrov Dynamic Topological LogicNiels C. Vooijs, David Fernández-Duque2026
- Causality in Pure Quantum Computation with Quantum ControlKengo Hirata, Takeshi Tsukada2026 · 1 citation
- Cellular Methods in Homotopy Type TheoryAxel Ljungström, Loïc Pujet2026 · 2 citations
- Checking History Determinism for Parity Automata Is in NPKaroliina Lehtinen, Keya Prakash, Michal Skrzypczak2026
- Classifying 2-Groups in Homotopy Type TheoryPerry Hart, Owen Milner2026
- Commutative Algebras of SeriesLorenzo Clemente2026
- Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded AssertionsGilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis et al.2026 · 2 citations
- Complete ω-Regular Supermartingale CertificatesAlessandro Abate, Mirco Giacobbe, Sergey Ichtchenko, Diptarko Roy2026
- Complexity Classes Arising from Circuits over Finite Algebraic StructuresPiotr Kawalek, Jacek Krzaczkowski2026
- Complexity of Satisfiability in Kochen-Specker Partial Boolean AlgebrasAnuj Dawar, Nihil Shah2026
- Computation and Size of Interpolants for Hybrid Modal LogicsJean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter2026
- Constructing Small Monadic Decompositions in Presburger ArithmeticMoses Ganardi, Marin Ricros2026
