Theoretical Computer Science and General Issues

Mathematical Foundations of Computer Science 2013

38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

Editors: Chatterjee, Krishnendu, Sgall, Jiri (Eds.)

  • Fast conference proceedings
  • State-of-the-art report
  • Up to date results
see more benefits

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-40313-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $143.00
price for USA
  • ISBN 978-3-642-40312-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.

Table of contents (74 chapters)

  • Alternation Trading Proofs and Their Limitations

    Buss, Sam

    Pages 1-7

  • Bin Packing Games with Selfish Items

    Epstein, Leah

    Pages 8-21

  • A Constructive Proof of the Topological Kruskal Theorem

    Goubault-Larrecq, Jean

    Pages 22-41

  • Logical and Structural Approaches to the Graph Isomorphism Problem

    Grohe, Martin

    Pages 42-42

  • Prior-Free Auctions of Digital Goods

    Koutsoupias, Elias

    Pages 43-44

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-40313-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $143.00
price for USA
  • ISBN 978-3-642-40312-5
  • 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 2013
Book Subtitle
38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Editors
  • Krishnendu Chatterjee
  • Jiri Sgall
Series Title
Theoretical Computer Science and General Issues
Series Volume
8087
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-40313-2
DOI
10.1007/978-3-642-40313-2
Softcover ISBN
978-3-642-40312-5
Edition Number
1
Number of Pages
XVI, 854
Number of Illustrations and Tables
92 b/w illustrations
Topics