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 79,72 €
price for Spain (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 98,80 €
price for Spain (gross)
  • ISBN 978-3-642-32588-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

    Preview Buy Chapter 30,19 €
  • New Races in Parameterized Algorithmics

    Komusiewicz, Christian (et al.)

    Pages 19-30

    Preview Buy Chapter 30,19 €
  • Scott Is Always Simple

    Salibra, Antonino

    Pages 31-45

    Preview Buy Chapter 30,19 €
  • A Toolkit for Proving Limitations of the Expressive Power of Logics

    Schweikardt, Nicole

    Pages 46-47

    Preview Buy Chapter 30,19 €
  • How to Reconstruct a Genome

    Ukkonen, Esko

    Pages 48-48

    Preview Buy Chapter 30,19 €

Buy this book

eBook 79,72 €
price for Spain (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 98,80 €
price for Spain (gross)
  • ISBN 978-3-642-32588-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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