


default search action
Theoretical Computer Science, Volume 62
Volume 62, Numbers 1-2, 1988
- Giorgio Ausiello:

Special Issue: First International Conference on Database Theory, Rome, September 1986, Forword. Theor. Comput. Sci. 62(1-2): 1 (1988) - Serge Abiteboul, Richard Hull:

Restructuring Hierarchical Database Objects. 3-38 - Paolo Atzeni

, Douglas Stott Parker Jr.:
Set Containment Inference and Syllogisms. 39-65 - Edward P. F. Chan, Héctor J. Hernández:

On the Desirability of gamma-Acyclic BCNF Database Schemes. 67-104 - V. S. Lakshmanan:

Split-Freedom and MVD-Intersection: A New Characterization of Multivalued Dependencies Having Conflict-Free Covers. 105-122 - Nancy A. Lynch, Michael Merritt:

Introduction to the Theory of Nested Transactions. 123-185 - Domenico Saccà

, Carlo Zaniolo:
The Generalized Counting Method for Recursive Logic Queries. 187-220 - Dirk Van Gucht:

Interaction-Free Multivalued Dependency Sets. 221-233
Volume 62, Number 3, 1988
- Viliam Geffert:

A Representation of Recursively Enumerable Languages by Two Homomorphisms and a Quotient. 235-249 - Nageswara S. V. Rao

, S. Sitharama Iyengar
, Rangasami L. Kashyap:
An Average-Case Analysis of MAT and Inverted File. 251-266 - Arto Salomaa:

A Pumping Result for 2-Context-Free Languages. 267-287 - Thomas Zeugmann:

On the Power of Recursive Optimizers. 289-310 - Samuel R. Buss, György Turán:

Resolution Proofs of Generalized Pigeonhole Principles. 311-317 - Christoph Meinel:

The Power of Nondeterminism in Polynomial-Size Bounded-Width Branching Programs. 319-325 - Yves Lafont:

The Linear Abstract Machine (Corrigenda). 327-328

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














