| 1986 | On Recognizable Subsets of Free Partially Commutative Monoids. | Yves Mtivier |
| 1986 | Torsion Matrix Semigroups and Recognizable Transductions. | Jean-Paul Mascle |
| 1986 | The Set Union Problem with Backtracking. | Heikki Mannila, Esko Ukkonen |
| 1986 | Synthesis and Equivalence of Concurrent Systems. | Bjrn Lisper |
| 1986 | Hierarchical Planary Testing Algorithms. | Thomas Lengauer |
| 1986 | Decompositions of Nondeterministic Reductions (Extended Abstract). | Klaus-Jrn Lange |
| 1986 | A Termination Detector for Static and Dynamic Distributed Systems with Asynchronous Non-first-in-first-out Communication (Extended Abstract). | Ten-Hwang Lai |
| 1986 | Knowledge, Belief and Time. | Sarit Kraus, Daniel Lehmann |
| 1986 | Some Further Results on Digital Search Trees. | Peter Kirschenhofer, Helmut Prodinger |
| 1986 | Rational Equivalence Relations. | J. Howard Johnson |
| 1986 | Tradeoffs for Language Recognition on Parallel Computing Models. | Juraj Hromkovic |
| 1986 | On Nontermination of Knuth-Bendix Algorithm. | Miki Hermann, Igor Prvara |
| 1986 | Containment, Separation, Complete Sets, and Immunity of Complexity Classes. | Juris Hartmanis, Ming Li, Yaacov Yesha |
| 1986 | Complexity Classes Without Machines: On Complete Languages for UP. | Juris Hartmanis, Lane A. Hemachandra |
| 1986 | On Discerning Words by Automata. | Pavel Goralcik, Vclav Koubek |
| 1986 | A Strong Restriction of the Inductive Completion Procedure. | Laurent Fribourg |
| 1986 | Finite Biprefix Sets of Path in a Graph. | Clelia de Felice |
| 1986 | Parallel RAMs with Owned Global Memory and Deterministic Context-Free Language Recognition (Extended Abstract). | Patrick W. Dymond, Walter L. Ruzzo |
| 1986 | Counting with Rational Functions. | Christian Choffrut, Marcel Paul Schtzenberger |
| 1986 | Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary). | Janusz A. Brzozowski, Carl-Johan H. Seger |
| 1986 | Intersections of Some Families of Languages. | Franz-Josef Brandenburg |
| 1986 | A Tradeoff Between Search and Update Time for the Implicit Dictionary Problem. | Allan Borodin, Faith E. Fich, Friedhelm Meyer auf der Heide, Eli Upfal, Avi Wigderson |
| 1986 | On Exponential Lowness. | Ronald V. Book, Pekka Orponen, David A. Russo, Osamu Watanabe |
| 1986 | Classification of all the Minimal Bilinear Algorithms for Computing the Coefficients of the Product of Two Polynomials Modulo a Polynomial. | Amir Averbuch, Shmuel Winograd, Zvi Galil |
| 1986 | A New Duality Result Concerning Voronoi Diagrams. | Franz Aurenhammer |