| 1990 | A First-Order Logic for Partial Recursive Functions. Antonio Gavilanes-Franco |
| 1990 | A Hierarchy of Compositional Models of I/O-Automata (Extended Abstract). Bengt Jonsson |
| 1990 | A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation. Egon Börger |
| 1990 | A Stronger Version of Parikh Theorem. Pham Huu Uyen |
| 1990 | A Sup-Preserving Completion of Ordered Partial Algebras. Ana Pasztor |
| 1990 | ATIME(N) is Closed Under Counting. Marek Piotrów |
| 1990 | Affine Automata: A Technique to Generate Complex Images. Karel Culík II, Simant Dube |
| 1990 | Bottom-Up-Heap Sort, a New Variant of Heap Sort Beating on Average Quick Sort (if n is not very small). Ingo Wegener |
| 1990 | Characterizing Unambiguous Augmented Pushdown Automata by Circuits. Klaus-Jörn Lange, Peter Rossmanith |
| 1990 | Comparisons Among Classes of Y-Tree Systolic Automata. Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi |
| 1990 | Computing Large Polynomial Powers Very Fast in Parallel. Thomas Zeugmann |
| 1990 | Counting the Number of Solutions. Jacobo Torán |
| 1990 | Decomposition of Semi Commutations. Mireille Clerbout, D. Gonzalez |
| 1990 | Distance Automata Having Large Finite Distance or Finite Ambiguity. Andreas Weber |
| 1990 | Dynamic Hashing Strategies. Friedhelm Meyer auf der Heide |
| 1990 | Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets. Vincenzo Manca, Antonino Salibra |
| 1990 | Event Structures, Causal Trees, and Refinements. Philippe Darondeau, Pierpaolo Degano |
| 1990 | Generalized Kolmogorov Complexity in Relativized Separations (Extended Abstract). Ricard Gavaldà, Leen Torenvliet, Osamu Watanabe, José L. Balcázar |
| 1990 | Gentzen Type Axiomatizations for PAL. Igor Walukiewicz |
| 1990 | Implementation of Parallel Graph Reduction by Explicit Annotation and Program Transformation. Willem G. Vree |
| 1990 | Interactive Computations of Optimal Solutions. Jan Krajícek, Pavel Pudlák, Jirí Sgall |
| 1990 | Internal Labellings in Lambda-Calculus. Michel Parigot |
| 1990 | Interrogative Complexity of omega-Languages' Recognition. Maris Alberts |
| 1990 | Investigation of Finitary Calculi for the Temporal Logics by Means of Infinitary Calculi. Regimantas Pliuskevicius |
| 1990 | Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings Branislav Rovan |
| 1990 | Minimal Nontrivial Space Complexity of Probabilistic One-Way Turing Machines. Janis Kaneps, Rusins Freivalds |
| 1990 | On Checking Versus Evaluation of Multiple Queries. William I. Gasarch, Lane A. Hemachandra, Albrecht Hoene |
| 1990 | On Fast Algorithms for Two Servers. Marek Chrobak, Lawrence L. Larmore |
| 1990 | On Kleene Algebras and Closed Semirings. Dexter Kozen |
| 1990 | On Possibilities of One-Way Synchronized and Alternating Automata. Dainis Geidmanis |
| 1990 | On Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor. Sanjoy K. Baruah, Rodney R. Howell, Louis E. Rosier |
| 1990 | On the Complexity of Genuinely Polynomial Computation. Marek Karpinski, Friedhelm Meyer auf der Heide |
| 1990 | On the Power of Uniform Families of Constant Depth Treshold Circuits. Eric Allender, Ulrich Hertrampf |
| 1990 | One-Way Functions in Complexity Theory. Alan L. Selman |
| 1990 | Optimal Algorithms for Dissemination of Information in Some Interconnection Networks (Extended Abstract). Juraj Hromkovic, Claus-Dieter Jeschke, Burkhard Monien |
| 1990 | Parallel Construction of Minimal Suffix and Factor Automata. Maxime Crochemore, Wojciech Rytter |
| 1990 | Pumping Lemmas for Tree Languages Generated by Rewrite Systems. Emmanuel Kounalis |
| 1990 | Quality Criteria for Partial Order Semantics of Place/Transition-Nets. Robert Gold, Walter Vogler |
| 1990 | Query Languages which Express all PTIME Queries for Trees and Unicyclic Graphs. Pratul Dublish, S. N. Maheshwari |
| 1990 | Rational omega-Transductions. Michel Latteux, Erick Timmerman |
| 1990 | Restricted Branching Programs and Their Computational Power. Christoph Meinel |
| 1990 | Results on the Glory of the Past. Ildikó Sain |
| 1990 | Retractions in Comparing Prolog Semantics (Extended Abstract). Arie de Bruin, Erik P. de Vink |
| 1990 | Semi-Commutation and Deterministic Petri Nets. Edward Ochmanski |
| 1990 | Separating +L From L, NL, co-NL and AL (=P) for Oblivious Turing Machines of Linear Access Time. Matthias Krause |
| 1990 | Separating Sets of Hyperrectangles. Fabrizio d'Amore, Paolo Giulio Franciosa |
| 1990 | Some Properties of Zerotesting Bounded One-Way Multicounter Machines. Ivana Cerná |
| 1990 | Specification & Verification of Higher Order Processes. Michael R. Hansen, Zhou Chaochen |
| 1990 | Speed-Up Theorem Without Tape Compression. Viliam Geffert |
| 1990 | Splitsort - An Adaptive Sorting Algorithm. Christos Levcopoulos, Ola Petersson |
| 1990 | Symmetric Functions in AC Ingo Wegener, Norbert Wurm, Sang-Zin Yi |
| 1990 | Syntactic Theories. Jean-Pierre Jouannaud |
| 1990 | The Complexity of Symmetric Functions in Parity Normal Forms. Carsten Damm |
| 1990 | The Membership Problem for Context-Free Chain Code Picture Languages. Friedhelm Hinz |
| 1990 | The Parallel Complexity of Some Constructions in Combinatorial Group Theory (Abstract). Stephan Waack |
| 1990 | The Use of Graphs of Elliptical Influence in Visuel Hierarchical Clustering. Mirko Krivánek |
| 1990 | The k-section of Treewidth Restricted Graphs. Manfred Wiegers |
| 1990 | Tree-Stack Automata. Wolfgang Golubski, Wolfram-Manfred Lippe |
| 1990 | Type Inference Problems: A Survey. Jerzy Tiuryn |
| 1990 | Typed Horn Logic. Axel Poigné |
| 1990 | Unrestricted Resolution versus N-Resolution. Andreas Goerdt |
| 1990 | Using Inductive Counting to Simulate Nondeterministic Computation. Gerhard Buntrock, Lane A. Hemachandra, Dirk Siefkes |
| 1990 | Vector Language: Simple Description of Hard Instances (Extended Abstract). Miroslaw Kowaluk, Klaus W. Wagner |