| 1998 | A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages. Karen L. Bernstein |
| 1998 | A Fully Abstract Game Semantics for General References. Samson Abramsky, Kohei Honda, Guy McCusker |
| 1998 | A Logical Characterization of Bisimulation for Labeled Markov Processes. Josée Desharnais, Abbas Edalat, Prakash Panangaden |
| 1998 | A Stability Theorem in Rewriting Theory. Paul-André Melliès |
| 1998 | A Theory of Recursive Domains with Applications to Concurrency. Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel |
| 1998 | An Axiomatics for Categories of Transition Systems as Coalgebras. Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell |
| 1998 | Bisimulation in Name-Passing Calculi without Matching. Michele Boreale, Davide Sangiorgi |
| 1998 | Calculus in Coinductive Form. Dusko Pavlovic, Martín Hötzel Escardó |
| 1998 | Coinductive Techniques for Operational Equivalence of Interaction Nets. Maribel Fernández, Ian Mackie |
| 1998 | Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers. Hirofumi Yokouchi |
| 1998 | Completeness of a Relational Calculus for Program Schemes. Marcelo F. Frias, Roger D. Maddux |
| 1998 | Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata. Eugene W. Stark, Scott A. Smolka |
| 1998 | Convergence Results for Relational Bayesian Networks. Manfred Jaeger |
| 1998 | Decision Problems in Ordered Rewriting. Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch |
| 1998 | Efficient Representation and Validation of Proofs. George C. Necula, Peter Lee |
| 1998 | Embedded Finite Models, Stability Theory and the Impact of Order. John T. Baldwin, Michael Benedikt |
| 1998 | Existential Second-Order Logic over Strings. Thomas Eiter, Georg Gottlob, Yuri Gurevich |
| 1998 | Fixed-Point Logics on Planar Graphs. Martin Grohe |
| 1998 | Fragments of Existential Second-Order Logic without 0-1 Laws. Jean-Marie Le Bars |
| 1998 | Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. Orna Kupferman, Moshe Y. Vardi |
| 1998 | Full Abstraction for First-Order Objects with Recursive Types and Subtyping. Ramesh Viswanathan |
| 1998 | Herbrand's Theorem, Automated Reasoning and Semantics Tableaux. Andrei Voronkov |
| 1998 | Higher Dimensional Multigraphs. Claudio Hermida, Michael Makkai, John Power |
| 1998 | How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems. Luca de Alfaro |
| 1998 | Invertibility in lambda-eta. Enno Folkerts |
| 1998 | L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments. Dirk van Dalen |
| 1998 | Light Affine Logic. Andrea Asperti |
| 1998 | Linear Logic Ian Mackie |
| 1998 | Linear vs. Branching Time: A Complexity-Theoretic Perspective. Moshe Y. Vardi |
| 1998 | Logic and Over-Simplification. Roger M. Needham |
| 1998 | Monadic Logic and Automata: Recent Developments. Wolfgang Thomas |
| 1998 | On Counting Logics and Local Properties. Leonid Libkin |
| 1998 | On Model Checking for Non-Deterministic Infinite-State Systems. E. Allen Emerson, Kedar S. Namjoshi |
| 1998 | On Proofs about Threshold Circuits and Counting Hierarchies. Jan Johannsen, Chris Pollett |
| 1998 | On the Boundedness Problem for Two-Variable First-Order Logic. Phokion G. Kolaitis, Martin Otto |
| 1998 | Ordering Finite Variable Types with Generalized Quantifiers. Anuj Dawar, Lauri Hella, Anil Seth |
| 1998 | Phase Semantics and Verification of Concurrent Constraint Programs. François Fages, Paul Ruet, Sylvain Soliman |
| 1998 | Process Operations in Extended Dynamic Logics. Johan van Benthem |
| 1998 | Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis. Makoto Tatsuta |
| 1998 | Recursive Types in Games: Axiomatics and Process Representation. Marcelo P. Fiore, Kohei Honda |
| 1998 | Secure Implementation of Channel Abstractions. Martín Abadi, Cédric Fournet, Georges Gonthier |
| 1998 | The First-Order Theory of Ordering Constraints over Feature Trees. Martin Müller, Joachim Niehren, Ralf Treinen |
| 1998 | The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes Joachim Parrow, Björn Victor |
| 1998 | The Horn Mu-calculus. Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz |
| 1998 | The Logical Role of the Four-Valued Bilattice. Ofer Arieli, Arnon Avron |
| 1998 | The Relation Between Second-Order Unification and Simultaneous Rigid Margus Veanes |
| 1998 | Thirteenth Annual IEEE Symposium on Logic in Computer Science, Indianapolis, Indiana, USA, June 21-24, 1998 |
| 1998 | Type Theory via Exact Categories. Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott |