Lecture Notes in Computer Science

Mathematical Foundations of Computer Science 1979

8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. Proceedings

Editors: Becvar, J. (Ed.)

Buy this book

eBook $44.99
price for USA (gross)
  • ISBN 978-3-540-35088-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA
  • ISBN 978-3-540-09526-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (6 chapters)

  • Fast probabilistic algorithms

    Rūsiņš Freivalds

    Pages 57-69

  • Full abstraction for a simple parallel programming language

    M. C. B. Hennessy, G. D. Plotkin

    Pages 108-120

  • Program equivalence and provability

    G. Cousineau, P. Enjalbert

    Pages 237-245

  • Fully effective solutions of recursive domain equations

    Akira Kanda

    Pages 326-336

  • Bounded recursion and complexity classes

    Klaus Wagner

    Pages 492-498

Buy this book

eBook $44.99
price for USA (gross)
  • ISBN 978-3-540-35088-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA
  • ISBN 978-3-540-09526-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematical Foundations of Computer Science 1979
Book Subtitle
8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. Proceedings
Editors
  • J. Becvar
Series Title
Lecture Notes in Computer Science
Series Volume
74
Copyright
1979
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-35088-0
DOI
10.1007/3-540-09526-8
Softcover ISBN
978-3-540-09526-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 585
Topics