Annual Conference on Computer Science Logic

CSL

CORE rank

CORE rank (raw)

Fields of research

Theory of Computation

Papers indexed

1,493

1987–2026

Papers per year

198780 peak2026

Most published authors

CSL papers

1,493 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
1987	Interfacing a Logic Machine.	Wolfgang Schnfeld
1987	A Survey of Rewrite Systems.	Peter H. Schmitt
1987	Learning by Teams from Examples with Errors.	Reinhard Rinn, Britta Schinzel
1987	Deciding the Path- and Word-Fair Equivalence Problem.	Ralf Rehrmann, Lutz Priese
1987	Logic of Approximation Reasoning.	Helena Rasiowa
1987	Optimization Aspects of Logical Formulas.	Ulrich Lwen
1987	The Conjunctive Complexity of Quadratic Boolean Functions.	Katja Lenz, Ingo Wegener
1987	On Type Inference for Object-Oriented Programming Languages.	Hans Lei
1987	On the Computational Complexity of Quantified Horn Clauses.	Marek Karpinski, Hans Kleine Bning, Peter H. Schmitt
1987	Induction in the Elementary Theory of Types and Names.	Gerhard Jger
1987	Program Verification Using Dynamic Logic.	Maritta Heisel, Wolfgang Reif, Werner Stephan
1987	Algebraic Operational Semantics and Modula-2.	Yuri Gurevich, James M. Morris
1987	Loose Diagrams, Semigroupoids, Categories, Groupoids and Iteration.	Giorgio Germano, Stefano Mazzanti
1987	Is SETL a Suitable Language for Parallel Programming - A Theoretical Approach.	Elias Dahlhaus
1987	Proving Finite Satisfiability of Deductive Databases.	Franois Bry, Rainer Manthey
1987	Surjectivity for Finite Sets of Combinators by Weak Reduction.	Corrado Bhm, Adolfo Piperno
1987	Resolution with Feature Unification.	Karl-Hans Blsius, Ulrich Hedtstck
1987	Diagonalizing over Deterministic Polynomial Time.	Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig

1,476–1,493 of 1,493← Previous Next →

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