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