Save today: Get 40% off Social Science print books or $30 off eBooks in Engineering & Energy!

Lecture Notes in Computer Science

Automata, Languages and Programming

17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings

Editors: Paterson, Michael S. (Ed.)

Free Preview

Buy this book

eBook 107,09 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47159-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 135,19 €
price for Spain (gross)
  • ISBN 978-3-540-52826-5
  • 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 ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Association for Theoretical Computer Science (EATCS). This annual conference series covers all important areas of theoretical computer science, such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics. This volume contains five invited papers and 52 papers selected from 250 submitted.

Table of contents (49 chapters)

Table of contents (49 chapters)
  • LEDA: A library of efficient data types and algorithms

    Näher, Stefan (et al.)

    Pages 1-5

  • A new universal class of hash functions and dynamic hashing in real time

    Dietzfelbinger, Martin (et al.)

    Pages 6-19

  • A complete and decidable proof system for call-by-value equalities

    Riecke, Jon G.

    Pages 20-31

  • Static correctness of hierarchical procedures

    Schwartzbach, Michael I.

    Pages 32-45

  • Generic terms having no polymorphic types

    Malecki, Sophie

    Pages 46-59

Buy this book

eBook 107,09 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47159-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 135,19 €
price for Spain (gross)
  • ISBN 978-3-540-52826-5
  • 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...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automata, Languages and Programming
Book Subtitle
17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings
Editors
  • Michael S. Paterson
Series Title
Lecture Notes in Computer Science
Series Volume
443
Copyright
1990
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47159-2
DOI
10.1007/BFb0032016
Softcover ISBN
978-3-540-52826-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 788
Topics