Skip to content

IEEE Symposium on Logic in Computer Science

LICS

A*

CORE rank

CORE rank (raw)

A*

Fields of research

Theory of Computation

Papers indexed

2,216

1986–2026

Papers per year

198695 peak2026

LICS papers

2,216 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
1986Quantitative and Qualitative Semantics (Abstract of Invited Lecture)Jean-Yves Girard
1986True Relative Completeness of an Axiom System for the Language L4 (Abridged)Steven M. German, Edmund M. Clarke, Joseph Y. Halpern
1986Reasoning with ContinuationsMatthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba
1986Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)E. Allen Emerson, Chin-Laung Lei
1986Proof of Translation in Natural SemanticsJolle Despeyroux
1986Program Correctness on Finite FieldsLszl Csirmaz, Bradd Hart
1986An Analysis of Girard's ParadoxThierry Coquand
1986Type inference and logical relationsMario Coppo, Maddalena Zacchi
1986On Mechanical Theorem Proving in Minkowskian Plane GeometryShang-Ching Chou, Hai-Ping Ko
1986An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal LogicMichael C. Browne
1986A Semantically Based Proof System for Partial Correctness and Deadlock in CSPStephen D. Brookes
1986Strong Bisimulation of State AutomataDavid B. Benson, Ofer Ben-Shachar
1986An Algebraic Model of Parallel Execution of Logic ProgramsLennart Beckman, Rune Gustavsson, Annika Wrn
1986Orderings for Equational ProofsLeo Bachmair, Nachum Dershowitz, Jieh Hsiang
1986The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain EquationsRoberto M. Amadio, Kim B. Bruce, Giuseppe Longo
1986A Timely ResolutionMartn Abadi, Zohar Manna
2,2012,216 of 2,216← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.