Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science

Mathematical Foundations of Computer Science 1995

20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings

Editors: Wiedermann, Jiri, Hajek, Petr (Eds.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-44768-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-60246-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995.
The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44 revised full research papers selected from a total of 104 submissions. All relevant aspects of theoretical computer science are addressed, particularly the mathematical foundations; the papers are organized in sections on structural complexity, algorithms, complexity theory, graphs in models of computation, lower bounds, formal languages, unification, rewriting and type theory, distributed computation, concurrency, semantics, model checking, and formal calculi.

Table of contents (54 chapters)

Table of contents (54 chapters)
  • Scheduling parallel communication: The h-relation problem

    Pages 1-20

    Adler, Micah (et al.)

  • Decomposable structures, Boolean function representations, and optimization

    Pages 21-36

    Arnborg, Stefan

  • The complexity of interval routing on random graphs

    Pages 37-49

    Flammini, Michele (et al.)

  • Bridging across the log(n) space frontier

    Pages 50-65

    Geffert, Viliam

  • Second order logic and the weak exponential hierarchies

    Pages 66-81

    Gottlob, Georg (et al.)

Buy this book

eBook $109.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-44768-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-60246-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematical Foundations of Computer Science 1995
Book Subtitle
20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings
Editors
  • Jiri Wiedermann
  • Petr Hajek
Series Title
Lecture Notes in Computer Science
Series Volume
969
Copyright
1995
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-44768-9
DOI
10.1007/3-540-60246-1
Softcover ISBN
978-3-540-60246-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIII, 594
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.