| 1999 | Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings Georg Gottlob, Etienne Grandjean, Katrin Seyr |
| 1998 | An Upper Bound for Minimal Resolution Refutations. Hans Kleine Büning |
| 1998 | Belnap, Urquhart and Relevant Decidability & Complexity. "Das ist nicht Mathematik, das ist Theologie.". Jacques Riche, Robert K. Meyer |
| 1998 | Characteristic Properties of Majorant-Computability over the Reals. Margarita V. Korovina, Oleg V. Kudinov |
| 1998 | Choice Construct and Lindström Logics. H. Khanh Hoang |
| 1998 | Complexity Classes and Rewrite Systems with Polynomial Interpretation. Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet |
| 1998 | Computational Adequacy in an Elementary Topos. Alex K. Simpson |
| 1998 | Computational Complexity of Ehrenfeucht-Fraïssé Games on Finite Structures. Elena Pezzoli |
| 1998 | Descriptive Complexity, Lower Bounds and Linear Time. Thomas Schwentick |
| 1998 | Existence and Uniqueness of Normal Forms in Pure Type Systems with betaeta-Conversion. Gilles Barthe |
| 1998 | Invariant Definability and P/ Johann A. Makowsky |
| 1998 | Logical Relations and Inductive/Coinductive Types. Thorsten Altenkirch |
| 1998 | Many-Valued First-Order Logics with Probabilistic Semantics. Thomas Lukasiewicz |
| 1998 | Monadic NP and Graph Minors. Martin Kreidler, Detlef Seese |
| 1998 | Monotone Fixed-Point Types and Strong Normalization. Ralph Matthes |
| 1998 | Morphisms and Partitions of V-sets. Richard Statman |
| 1998 | Normalization of Typable Terms by Superdevelopments. Zurab Khasidashvili, Adolfo Piperno |
| 1998 | On an Optimal Deterministic Algorithm for SAT. Zenon Sadowski |
| 1998 | On the Complexity of H-Subsumption. Reinhard Pichler |
| 1998 | On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases. Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi |
| 1998 | On the Power of Quantifers in First-Order Algebraic Specification. David Kempe, Arno Schöegge |
| 1998 | Quantifers and the System KE: Some Surprising Results. Uwe Egly |
| 1998 | Quantifier Elimination in Fuzzy Logic. Matthias Baaz, Helmut Veith |
| 1998 | RPO Constraint Solving Is in NP. Paliath Narendran, Michaël Rusinowitch, Rakesh M. Verma |
| 1998 | Revision Programming = Logic Programming + Integrity Constraints. V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski |
| 1998 | Subtyping Functional+Nonempty Record Types. Sergei G. Vorobyov |
| 1998 | Testing for Finite State Systems. Mihalis Yannakakis, David Lee |
| 1998 | Theorems af Péter and Parsons in Computer Programming. Ján Komara, Paul J. Voda |
| 1998 | Trakhtenbrot Theorem and Fuzzy Logic. Petr Hájek |