| 1988 | CSL '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, Proceedings Egon Börger, Hans Kleine Büning, Michael M. Richter |
| 1987 | A Survey of Rewrite Systems. Peter H. Schmitt |
| 1987 | Algebraic Operational Semantics and Modula-2. Yuri Gurevich, James M. Morris |
| 1987 | Algorithms for Propositional Updates. Andreas Weber |
| 1987 | Complexity Cores and Hard-To-Prove Formulas. Uwe Schöning |
| 1987 | Deciding the Path- and Word-Fair Equivalence Problem. Ralf Rehrmann, Lutz Priese |
| 1987 | Developing Logic Programs: Computing Through Normalizing. Olga Stepánková, Petr Stepánek |
| 1987 | Diagonalizing over Deterministic Polynomial Time. Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig |
| 1987 | Induction in the Elementary Theory of Types and Names. Gerhard Jäger |
| 1987 | Interfacing a Logic Machine. Wolfgang Schönfeld |
| 1987 | Is SETL a Suitable Language for Parallel Programming - A Theoretical Approach. Elias Dahlhaus |
| 1987 | Learning by Teams from Examples with Errors. Reinhard Rinn, Britta Schinzel |
| 1987 | Logic of Approximation Reasoning. Helena Rasiowa |
| 1987 | Loose Diagrams, Semigroupoids, Categories, Groupoids and Iteration. Giorgio Germano, Stefano Mazzanti |
| 1987 | Model Theory of Deductive Databases. Hugo Volger |
| 1987 | On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations. Dieter Spreen |
| 1987 | On Type Inference for Object-Oriented Programming Languages. Hans Leiß |
| 1987 | On the Average Case Complexity of Backtracking for the Exact-Satisfiability Problem. Ewald Speckenmeyer |
| 1987 | On the Computational Complexity of Quantified Horn Clauses. Marek Karpinski, Hans Kleine Büning, Peter H. Schmitt |
| 1987 | Optimization Aspects of Logical Formulas. Ulrich Löwen |
| 1987 | Program Verification Using Dynamic Logic. Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1987 | Proving Finite Satisfiability of Deductive Databases. François Bry, Rainer Manthey |
| 1987 | Resolution with Feature Unification. Karl-Hans Bläsius, Ulrich Hedtstück |
| 1987 | Surjectivity for Finite Sets of Combinators by Weak Reduction. Corrado Böhm, Adolfo Piperno |
| 1987 | The Conjunctive Complexity of Quadratic Boolean Functions. Katja Lenz, Ingo Wegener |