| 1990 | CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings Egon Börger, Hans Kleine Büning, Michael M. Richter |
| 1989 | A Concurrent Branching Time Temporal Logic. Wojciech Penczek |
| 1989 | A Direct Proof for the Completeness of SLD-Resolution. Robert F. Stärk |
| 1989 | A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control. Egon Börger |
| 1989 | A Predicate Calculus with Control of Derivations. Daniel Mey |
| 1989 | A Quantifier-Free Completion of Logic Programs. Robert F. Stärk |
| 1989 | A Streamlined Temporal Completeness Theorem. Ana Pasztor, Ildikó Sain |
| 1989 | Algebraic Operational Semantics and Occam. Yuri Gurevich, Lawrence S. Moss |
| 1989 | Davis-Putnam Resolution versus Unrestricted Resolution. Andreas Goerdt |
| 1989 | Deciding Horn Classes by Hyperresolution. Alexander Leitsch |
| 1989 | Effectively Given Information Systems and Domains. Manfred Droste, Rüdiger Göbel |
| 1989 | Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution. Hendrik Decker, Lawrence Cavedon |
| 1989 | Honest Polynomial-Time Degrees of Elementary Recursive Sets. Klaus Ambos-Spies, Dongping Yang |
| 1989 | New Ways for Developing Proof Theories for First-Order Multi Modal Logics. Hans Jürgen Ohlbach |
| 1989 | Omega-Branching Programs of Bounded Width. Christoph Meinel |
| 1989 | On Logical Descriptions of Some Concepts in Structural Complexity Theory. Erich Grädel |
| 1989 | On Test Classes for Universal Theories. Bernd I. Dahn |
| 1989 | On the Average Time Complexity of Set Partitioning. Ewald Speckenmeyer, Rainer Kemp |
| 1989 | On the Representation of Data in Lambda-Calculus. Michel Parigot |
| 1989 | On the Verification of Modules. Grigoris Antoniou, Volker Sperschneider |
| 1989 | Polymorphic Recursion and Semi-Unification. Hans Leiß |
| 1989 | Propositional Provability and Models of Weak Arithmetic. Jan Krajícek, Pavel Pudlák |
| 1989 | Reducibility of Monotone Formulas to µ-Formulas. Daniele Mundici |
| 1989 | Semantic for Abstract Fairness using Metric Spaces. Lutz Priese, Doris Nolte |
| 1989 | Sequential Representation of Primitive Recursive Functions, and Complexity Classes. Elisabeth Wette |
| 1989 | Set-Theoretic Reductions of Hilbert's Tenth Problem. Domenico Cantone, Vincenzo Cutello, Alberto Policriti |
| 1989 | Stratification of Definite Clause Programs and of General Logic Programs. Olga Stepánková, Petr Stepánek |
| 1989 | The Complexity of Subtheories of the Existential Linear Theory of Reals. Elias Dahlhaus |
| 1989 | The Semantics of Disjunctive Deductive Databases. Hugo Volger |