| 1986 | A Complete Inference System for an Algebra or Regular Acceptance Models. | Susanne Graf |
| 1986 | Some Improved Parallelisms for Graphs. | A. Goralcikov, Vclav Koubek |
| 1986 | Proofs that Release Minimum Knowledge. | Oded Goldreich, Silvio Micali, Avi Wigderson |
| 1986 | Grammars with Context Dependency Restricted to Synchronization. | Viliam Geffert |
| 1986 | Parallel Arithmetic Computations: A Survey. | Joachim von zur Gathen |
| 1986 | Safe Implementation Equivalence for Asynchronous Nondeterministic Processes. | B. Gammatie |
| 1986 | Fibonacci Numeration Systems and Rational Functions. | Christiane Frougny |
| 1986 | P-Genericity and Strong G-Genericity. | Hans Fleischhack |
| 1986 | The Evolution of Two Stacks in Bounded Space and Random Walks in a Triangle. | Philippe Flajolet |
| 1986 | On the Inherent Combinatorial Complexity of Geometric Problems in D-Dimensional Space. | Thomas M. Fischer, K. Wolfrum |
| 1986 | Refined Bounds on the Complexity of Sorting and Selection in D-Dimensional Space. | Thomas M. Fischer |
| 1986 | Homomorphic Realizations of Automata with Compositions. | Zoltn sik, Pl Dmsi, Ferenc Gcseg, J. Virgh |
| 1986 | Algebraic Theory of Module Specification with Constraints. | Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum |
| 1986 | Towards an Efficient Merging. | S. Dvork, Branislav Durian |
| 1986 | Quicksort Without a Stack. | Branislav Durian |
| 1986 | A Fast Parallel Algorithm for Six-Colouring of Planar Graphs (Extended Abstract). | Krzysztof Diks |
| 1986 | The Equivalence of Finite Valued Transducers (on HDTOL Languages) is Decidable. | Karel Culk II, Juhani Karhumki |
| 1986 | Kins of Context-Free Languages. | Michal Chytil |
| 1986 | Unique Deciperability for Partially Commutative Alphabet (Extended Abstract). | Marek Chrobak, Wojciech Rytter |
| 1986 | Polynomial Complexity of the Newton-Puiseux Algorithm. | Alexander L. Chistov |
| 1986 | Iterative Systems of Equations. | Virgil Emil Cazanescu |
| 1986 | Properties of Complexity Measures for PRAMs and WRAMs. | Siegfried Bublitz, Ute Schrfeld, Bernd Voigt, Ingo Wegener |
| 1986 | Partial Interpretations of Higher Order Algebraic Types (Extended Abstract). | Manfred Broy |
| 1986 | A Semantical Model for Integration and Modularization of Rules. | Peter van Emde Boas |
| 1986 | Recent Results in the Theory of Rational Sets. | Jean Berstel, Jacques Sakarovitch |