Lecture Notes in Computer Science

STACS 93

10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings

Editors: Enjalbert, Patrice, Finkel, Alain, Wagner, Klaus W. (Eds.)

Buy this book

eBook 101,14 €
price for Spain (gross)
  • ISBN 978-3-540-47574-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 124,79 €
price for Spain (gross)
  • ISBN 978-3-540-56503-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany and France, and organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI) and theSpecial Interest Group for Applied Mathematics of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (afcet). The volume includes the three invited talks which opened the three days of the symposium: "Causal and distributed semantics for concurrent processes" (I. Castellani), "Parallel architectures: design and efficient use" (B. Monien et al.), and "Transparent proofs" (L. Babai). The selection of contributed papers is organized into parts on: computational complexity, logic in computer science, efficient algorithms, parallel and distributed computation, language theory, computational geometry, automata theory, semantics and logic of programming languages, automata theory and logic, circuit complexity, omega-automata, non-classical complexity, learning theory and cryptography, and systems.

Table of contents (49 chapters)

  • Causal and distributed semantics for concurrent processes

    Castellani, Ilaria

    Pages 1-1

  • Editorial note

    Wagner, Klaus W.

    Pages 2-4

  • Alternation for two-way machines with sublogarithmic space

    Braunmühl, Burchard

    Pages 5-15

  • Separating the lower levels of the sublogarithmic space hierarchy

    Liśkiewicz, Maciej (et al.)

    Pages 16-27

  • Locating P/poly optimally in the extended low hierarchy

    Köbler, Johannes

    Pages 28-37

Buy this book

eBook 101,14 €
price for Spain (gross)
  • ISBN 978-3-540-47574-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 124,79 €
price for Spain (gross)
  • ISBN 978-3-540-56503-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
STACS 93
Book Subtitle
10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings
Editors
  • Patrice Enjalbert
  • Alain Finkel
  • Klaus W. Wagner
Series Title
Lecture Notes in Computer Science
Series Volume
665
Copyright
1993
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47574-3
DOI
10.1007/3-540-56503-5
Softcover ISBN
978-3-540-56503-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIV, 730
Topics