| 1986 | Model and Complexity of Termination for Distributed Computations. | Brigitte Rozoy |
| 1986 | One-Sided Dyck Reduction Over Two Letter Alphabet and Deterministic Context-Free Languages. | Fabienne Romian, Jacques Sakarovitch |
| 1986 | Learning in Knowledge Based System, a Possibilistic Approach. | Zbigniew W. Ras, Maria Zemankova |
| 1986 | Developing Implicit Data Structures. | J. Ian Munro |
| 1986 | A Proof System to Derive Evantually Properties Under Justice Hypothesis. | Dominique Mry |
| 1986 | p-Projection Reducibility and the Complexity Classes L(nonuniform) and NL(nonuniform). | Christoph Meinel |
| 1986 | Geometric Location Problems and Their Complexity. | D. T. Lee |
| 1986 | Two Characterizations of the Logarithmic Alternation Hierarchy. | Klaus-Jrn Lange |
| 1986 | Matrix Systems and Principal Cones of Algebraic Power Series. | Werner Kuich |
| 1986 | Near Optimal Algorithms for Finding Minimum Steiner Trees on Random Graphs. | Ludek Kucera, Alberto Marchetti-Spaccamela, Marco Protasi, Maurizio Talamo |
| 1986 | An Alternative, Priority-Free, Solution to Post's Problem. | Antonn Kucera |
| 1986 | The Space Complexity of the Accessibility Problem for Undirected Graphs of Log N Bounded Genus. | Klaus Kriegel |
| 1986 | On Some Types of Pseudo-Random Sequences. | Ivan Kramosil |
| 1986 | Regular Augmentation of Automata and Transducers (Extended Abstract). | Vclav Koubek, Antonn Rha |
| 1986 | Undecidable Problems Concerning Generalized Pascal Triangles of Commutative Algebras. | Ivan Korec |
| 1986 | Optimal Sorting of Seven Element Sets. | Lubor Kollr |
| 1986 | Lower Bounds on the Complexity of Local Circuits (Preliminary Report). | Stasys Jukna |
| 1986 | Systolic Arrays: Characterizations and Complexity. | Oscar H. Ibarra |
| 1986 | A New Approach to Defining the Complexity for VLSI. | Juraj Hromkovic |
| 1986 | An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines. | Rodney R. Howell, Louis E. Rosier |
| 1986 | The Promise of Electronic Prototyping. | John E. Hopcroft |
| 1986 | An Approach to Proof Checker. | Ken Hirose |
| 1986 | Regular Chain Code Picture Languages of Nonlinear Descriptional Complexity. | Friedhelm Hinz |
| 1986 | Remark on the Power of Compass (Extended Abstract). | Armin Hemmerling |
| 1986 | Nondeterministic Turing Machines with Modified Acceptance. | Thomas Gundermann, Gerd Wechsung |