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.