Theoretical Computer Science and General Issues

Mathematical Foundations of Computer Science 2012

37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings

Editors: Rovan, Branislav, Sassone, Vladimiro, Widmayer, Peter (Eds.)

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility
see more benefits

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-642-32589-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 in USD
  • ISBN 978-3-642-32588-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 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 (49 chapters)

  • On the Complexity of Ontological Reasoning under Disjunctive Existential Rules

    Gottlob, Georg (et al.)

    Pages 1-18

  • New Races in Parameterized Algorithmics

    Komusiewicz, Christian (et al.)

    Pages 19-30

  • Scott Is Always Simple

    Salibra, Antonino

    Pages 31-45

  • A Toolkit for Proving Limitations of the Expressive Power of Logics

    Schweikardt, Nicole

    Pages 46-47

  • How to Reconstruct a Genome

    Ukkonen, Esko

    Pages 48-48

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-642-32589-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 in USD
  • ISBN 978-3-642-32588-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 2012
Book Subtitle
37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
Editors
  • Branislav Rovan
  • Vladimiro Sassone
  • Peter Widmayer
Series Title
Theoretical Computer Science and General Issues
Series Volume
7464
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-32589-2
DOI
10.1007/978-3-642-32589-2
Softcover ISBN
978-3-642-32588-5
Edition Number
1
Number of Pages
XV, 825
Number of Illustrations and Tables
102 b/w illustrations
Topics