Get 40% off of select print and eBooks in Engineering & Materials Science!

Lecture Notes in Computer Science

Foundations of Computation Theory

Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983

Editors: Karpinski, M. (Ed.)

Free Preview

Buy this book

eBook $54.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-38682-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-540-12689-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (44 chapters)

Table of contents (44 chapters)
  • Experiments, powerdomains and fully abstract models for applicative multiprogramming

    Pages 1-13

    Abramsky, Samson

  • Deterministic dynamic logic of recursive programs is weaker than dynamic logic

    Pages 14-25

    Berman, Piotr

  • Reversal-bounded and visit-bounded realtime computations

    Pages 26-39

    Brandstädt, Andreas (et al.)

  • Input-driven languages are recognized in log n space

    Pages 40-51

    Braunmühl, Burchard (et al.)

  • How to search in history

    Pages 52-63

    Chazelle, Bernard

Buy this book

eBook $54.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-38682-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-540-12689-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Foundations of Computation Theory
Book Subtitle
Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
Editors
  • M. Karpinski
Series Title
Lecture Notes in Computer Science
Series Volume
158
Copyright
1983
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38682-7
DOI
10.1007/3-540-12689-9
Softcover ISBN
978-3-540-12689-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIV, 522
Topics