32. MFCS 2007:
Ceský Krumlov, Czech Republic
Ludek Kucera, Antonín Kucera (Eds.):
Mathematical Foundations of Computer Science 2007, 32nd International Symposium, MFCS 2007, Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings.
Lecture Notes in Computer Science 4708 Springer 2007, ISBN 978-3-540-74455-9
Invited Papers
Anuj Dawar:
Finite Model Theory on Tame Classes of Structures.
2-12
Kurt Mehlhorn:
Minimum Cycle Bases in Graphs Algorithms and Applications.
13-14
C.-H. Luke Ong:
Hierarchies of Infinite Structures Generated by Pushdown Automata and Recursion Schemes.
15-21
Random Graphs
Rewriting
Foto N. Afrati:
Rewriting Conjunctive Queries Determined by Views.
78-89
Approximation Algorithms
Gábor Salamon:
Approximation Algorithms for the Maximum Internal Spanning Tree Problem.
90-102
Automata and Circuits
Complexity I
Streams and Compression
Graphs I
Iteration and Recursion
Algorithms I
Kasper Pedersen:
Dobrushin Conditions for Systematic Scan with Block Dynamics.
264-275
Automata
Complexity II
Protocols
Graphs II
Networks
Algorithms II
Languages
Graphs III
Quantum Computing
Seiichiro Tani:
An Improved Claw Finding Algorithm Using Quantum Walk.
536-547
Rahul Tripathi:
Complexity Upper Bounds for Classical Locally Random Reductions Using a Quantum Computational Argument.
548-558
Isomorphism
Fabian Wagner:
Hardness Results for Tournament Isomorphism and Automorphism.
572-583
Equilibria
Games
Algebra and Strings
Esko Ukkonen:
Structural Analysis of Gapped Motifs of a String.
681-690
Algorithms III
Riko Jacob:
Optimal Randomized Comparison Based Algorithms for Collision.
703-714
Words and Graphs
Klaus Meer,
Martin Ziegler:
Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation.
726-737