Theory of Computing and Systems

ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings

  • Editors
  • D. Dolev
  • Z. Galil
  • M. Rodeh
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 601)

Table of contents

  1. Front Matter
  2. Claire Kenyon, Valerie King
    Pages 24-31
  3. Andrei Voronkov
    Pages 43-54
  4. Guy Kortsarz, David Peleg
    Pages 67-78
  5. Y. Ben-Asher, D. Peleg, A. Schuster
    Pages 79-90
  6. S. Gal, Y. Hollander, A. Itai
    Pages 91-102
  7. Edith Cohen, Nimrod Megiddo
    Pages 103-114
  8. Victor S. Miller
    Pages 115-121
  9. Ilan Sade, Amir Averbuch
    Pages 147-153
  10. Cynthia Dwork, Maurice Herlihy, Serge A. Plotkin, Orli Waarts
    Pages 154-170
  11. Rainer Gawlick, Nancy Lynch, Nir Shavit
    Pages 171-183
  12. Irith Ben-Arroyo Hartman
    Pages 207-220

About these proceedings

Introduction

ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. The enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains nineteen selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the theory of computing and systems.

Keywords

Algorithmen Computeralgebra Flußdiagramm Graph (EDV) Graphs and Flows Logic Logik Memory Structures Random Access Memory Speicherstruktur algorithm algorithms complexity

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0035160
  • Copyright Information Springer-Verlag 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55553-7
  • Online ISBN 978-3-540-47214-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book