Theoretical Computer Science, Volume 74

Volume 74, Number 1, 1990

Volker Diekert: Word Problems Over Traces which are Solvable in Linear Time. 3-18 BibTeX
Donald S. Fussell, Ramakrishna Thurimella: Successive Approximation in Parallel Graph Algorithms. 19-35 BibTeX
Antonio Gavilanes-Franco, Francisca Lucio-Carrasco: A First Order Logic for Partial Functions. 37-69 BibTeX
Petr Jancar: Decidability of a Temporal Logic Problem for Petri Nets. 71-93 BibTeX
Franco P. Preparata, Roberto Tamassia: Dynamic Planar Point Location with Optimal Query Time. 95-114 BibTeX
Andrzej Szepietowski: If Deterministic and Nondeterministic Space Complexities are Equal for log log n, then they are also Equal for log n. 115-119 BibTeX
Paul Gastin: Un Modèle Asynchrone pour les Systèmes Distribués. 121-162 BibTeX

Ferenc Gécseg, Helmut Jürgensen: Automata Represented by Products of Soliton Automata. 163-181 BibTeX
B. John Oommen, E. R. Hansen, J. Ian Munro: Deterministic Optimal and Expedient Move-to-Rear List Organizing Strategies. 183-197 BibTeX
Felicja Okulicka: On Priority in Cosy. 199-216 BibTeX
Juris Hartmanis, Lane A. Hemachandra: Robust Machines Accept Easy Sets. 217-225 BibTeX
Marc Bezem: Completeness of Resolution Revisited. 227-237 BibTeX
Hans Hüttel: SnS Can be Modally Characterized. 239-248 BibTeX
Martin Kummer: An Easy Priority-Free Proof of a Theorem of Friedberg. 249-251 BibTeX

Jingzhong Zhang, Lu Yang, Mike Deng: The Parallel Numerical Method of Mechanical Theorem Proving. 253-271 BibTeX
María-Inés Fernández-Camacho, Jean-Marc Steyaert: Algebraic Simplification in Computer Algebra: An Analysis of Bottom-up Algorithms. 273-298 BibTeX
Xin He: An Efficient Algorithm for Edge Coloring Planar Graphs with Delta Colors. 299-312 BibTeX
László Babai, Pavel Pudlák, Vojtech Rödl, Endre Szemerédi: Lower Bounds to the Complexity of Symmetric Boolean Functions. 313-323 BibTeX
Ulrich Hertrampf: Relations Among Mod-Classes. 325-328 BibTeX
Jean-François Romeuf: A Polynomial Algorithm for Solving Systems of Two Linear Diophantine Equations. 329-340 BibTeX
Marcella Anselmo: Sur les Codes ZigZag et Leur Décidabilité. 341-354 BibTeX
Jerzy Szymanski: On the Complexity of Algorithms on Recursive Trees. 355-361 BibTeX