Volume 54, 1987
- Jieh Hsiang, Mandayam K. Srivas:
Automatic Inductive Theorem Proving Using Prolog.
3-28
- Finn Verner Jensen, Kim Guldstrand Larsen:
Recursively Defined Doains and their Induction Principles.
29-51
- Alberto Marchetti-Spaccamela:
New Protocols for the Election of a Leader in a Ring.
53-64
- Victor Y. Pan:
Complexity of Parallel Matrix Computations.
65-85
- Chandrajit L. Bajaj:
Geometric Optimization and the Polynomial Hierarchy.
87-102
- V. S. Lakshmanan, C. E. Veni Madhavan:
An Algebraic Theory of Functional and Multivalued Dependencies in Relational Databases.
103-128
- Shankar M. Venkatesan:
Approximation Algorithms for Weighted Matching.
129-137
- Lutz Priese, Ralf Rehrmann, Uwe Willecke-Klemme:
An Introduction to the Regular Theory of Fairness.
139-163
- Giuseppina Rindone:
Construction d'une Famille de Codes Associes a Certains Groupes Finis.
165-179
- Andreas Brandstädt, Dieter Kratsch:
On Domination Problems for Permutation and Other Graphs.
181-198
- Andrzej Szalas:
A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time.
199-214
- J. Robin B. Cockett:
Discrete Decision Theory: Manipulations.
215-236
- Paola Bertolazzi, Antonio Sassano:
An O(mn) Algorithm for Regular Set-Covering Problems.
237-247
- Osamu Watanabe:
A Comparison of Polynomial Time Completeness Notions.
249-265
- David E. Muller, Paul E. Schupp:
Alternating Automata on Infinite Trees.
267-276
- Hugues Fauconnier:
Semantique Asynchrone et Comportements Infinis en CSP.
277-298
- Seymour Ginsburg, Chang-jie Tang:
Canonical Forms for Interval Functions.
299-313
- Kazuhiro Sado, Yoshihide Igarashi:
A Function for Evaluating the Computing Time of a Bubbling System.
315-324
- Shigeki Iwata, Takumi Kasai:
Simultaneous (Poly-Time, Log-Space) Lower Bounds.
325-329
- Maciej Liskiewicz, Krzysztof Lorys, Marek Piotrów:
On Reversal Bounded Alternating Turing Machines.
331-339
- Ker-I Ko:
Corrigenda: On the Continued Fraction Representation of Computable Real Numbers.
341-343, (see: TCS 47: 299-313 (1986))
Last update Fri May 24 20:53:02 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
