Theoretical Computer Science, Volume 62

Volume 62, Numbers 1-2, 1988

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Ausiello88
- ask others
Giorgio Ausiello: Special Issue: First International Conference on Database Theory, Rome, September 1986, Forword. 1
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/AbiteboulH88
- ask others
Serge Abiteboul, Richard Hull: Restructuring Hierarchical Database Objects. 3-38
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/AtzeniP88
- ask others
Paolo Atzeni, Douglas Stott Parker Jr.: Set Containment Inference and Syllogisms. 39-65
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/ChanH88
- ask others
Edward P. F. Chan, Héctor J. Hernández: On the Desirability of gamma-Acyclic BCNF Database Schemes. 67-104
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Lakshmanan88
- ask others
V. S. Lakshmanan: Split-Freedom and MVD-Intersection: A New Characterization of Multivalued Dependencies Having Conflict-Free Covers. 105-122
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/LynchM88
- ask others
Nancy A. Lynch, Michael Merritt: Introduction to the Theory of Nested Transactions. 123-185
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/SaccaZ88
- ask others
Domenico Saccà, Carlo Zaniolo: The Generalized Counting Method for Recursive Logic Queries. 187-220
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Gucht88
- ask others
Dirk Van Gucht: Interaction-Free Multivalued Dependency Sets. 221-233

Volume 62, Number 3, 1988

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Geffert88
- ask others
Viliam Geffert: A Representation of Recursively Enumerable Languages by Two Homomorphisms and a Quotient. 235-249
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/RaoIK88
- ask others
Nageswara S. V. Rao, S. Sitharama Iyengar, Rangasami L. Kashyap: An Average-Case Analysis of MAT and Inverted File. 251-266
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Salomaa88
- ask others
Arto Salomaa: A Pumping Result for 2-Context-Free Languages. 267-287
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Zeugmann88
- ask others
Thomas Zeugmann: On the Power of Recursive Optimizers. 289-310
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/BussT88
- ask others
Samuel R. Buss, György Turán: Resolution Proofs of Generalized Pigeonhole Principles. 311-317
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Meinel88
- ask others
Christoph Meinel: The Power of Nondeterminism in Polynomial-Size Bounded-Width Branching Programs. 319-325
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Lafont88a
- ask others
Yves Lafont: The Linear Abstract Machine (Corrigenda). 327-328