Lecture Notes in Computer Science

Mathematical Foundations of Computer Science 1989

Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings

Editors: Kreczmar, Antoni, Mirkowska, Grazyna (Eds.)

Free Preview

Buy this book

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

The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following areas: logics of programs, parallel and distributed computing, deductive databases, automata and formal languages, algorithms and data structures, software specification and validity, complexity and computability theory.

Table of contents (52 chapters)

Table of contents (52 chapters)
  • From specification languages to specification knowledge bases: The PTO approach

    Agafonov, Valery N.

    Pages 1-17

  • Monadic second-order logic and context-free graph-grammars

    Courcelle, Bruno

    Pages 18-34

  • A thesis for bounded concurrency

    Harel, David

    Pages 35-48

  • Space bounded computations : Review and new separation results

    Hartmanis, J. (et al.)

    Pages 49-66

  • Concurrent nondeterministic processes: Adequacy of structure and behaviour

    Cherkasova, Ludmila A. (et al.)

    Pages 67-87

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48176-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-51486-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 1989
Book Subtitle
Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings
Editors
  • Antoni Kreczmar
  • Grazyna Mirkowska
Series Title
Lecture Notes in Computer Science
Series Volume
379
Copyright
1989
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48176-8
DOI
10.1007/3-540-51486-4
Softcover ISBN
978-3-540-51486-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 610
Topics