Mathematical Foundations of Computer Science 2007 [electronic resource] : 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 2631, 2007, Proceedings / edited by Ludek Kucera, Antonín Kucera.
 Publication:
 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
 Format/Description:
 Book
1 online resource (XVIII, 766 pages)  Edition:
 1st ed. 2007.
 Series:
 Computer Science (Springer11645)
LNCS sublibrary. Theoretical computer science and general issues SL 1, 4708
Theoretical Computer Science and General Issues ; 4708  Contained In:
 Springer eBooks
 Status/Location:

Loading...
Options
Location  Notes  Your Loan Policy 

Details
 Subjects:
 Computers.
Algorithms.
Computer scienceMathematics.
Data structures (Computer science).
Computer logic.  Local subjects:
 Theory of Computation. (search)
Algorithm Analysis and Problem Complexity. (search)
Computation by Abstract Devices. (search)
Discrete Mathematics in Computer Science. (search)
Data Structures. (search)
Logics and Meanings of Programs. (search)  System Details:
 text file PDF
 Contents:
 Invited Papers
How To Be Fickle
Finite Model Theory on Tame Classes of Structures
Minimum Cycle Bases in Graphs Algorithms and Applications
Hierarchies of Infinite Structures Generated by Pushdown Automata and Recursion Schemes
Evolvability
Random Graphs
Expander Properties and the Cover Time of Random Intersection Graphs
Uncover Low Degree Vertices and Minimise the Mess: Independent Sets in Random Regular Graphs
Rewriting
Transition Graphs of Rewriting Systems over Unranked Trees
Rewriting Conjunctive Queries Determined by Views
Approximation Algorithms
Approximation Algorithms for the Maximum Internal Spanning Tree Problem
New Approximability Results for 2Dimensional Packing Problems
On Approximation of Bookmark Assignments
Automata and Circuits
HeightDeterministic Pushdown Automata
Minimizing Variants of Visibly Pushdown Automata
Linear Circuits, TwoVariable Logic and Weakly Blocked Monoids
Complexity I
Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NPComplete
NP by Means of Lifts and Shadows
The Complexity of Solitaire
Streams and Compression
Adapting Parallel Algorithms to the WStream Model, with Applications to Graph Problems
SpaceConscious Compression
Graphs I
Small Alliances in Graphs
The Maximum Solution Problem on Graphs
Iteration and Recursion
What Are Iteration Theories?
Properties Complementary to Program Selfreference
Algorithms I
Dobrushin Conditions for Systematic Scan with Block Dynamics
On the Complexity of Computing Treelength
On Time Lookahead Algorithms for the Online Data Acknowledgement Problem
Automata
Real Time Language Recognition on 2D Cellular Automata: Dealing with Nonconvex Neighborhoods
Towards a Rice Theorem on Traces of Cellular Automata
Progresses in the Analysis of Stochastic 2D Cellular Automata: A Study of Asynchronous 2D Minority
Complexity II
Public Key Identification Based on the Equivalence of Quadratic Forms
Reachability Problems in Quaternion Matrix and Rotation Semigroups
VPSPACE and a Transfer Theorem over the Complex Field
Protocols
Efficient ProvablySecure Hierarchical Key Assignment Schemes
Nearly Private Information Retrieval
Graphs II
Packing and Squeezing Subgraphs into Planar Graphs
Dynamic Matchings in Convex Bipartite Graphs
Networks
Communication in Networks with Random Dependent Faults
Optimal Gossiping in Directed Geometric Radio Networks in Presence of Dynamical Faults
Algorithms II
A Linear Time Algorithm for the k Maximal Sums Problem
A Lower Bound of 1?+?? for Truthful Scheduling Mechanisms
Analysis of Maximal Repetitions in Strings
Languages
SeriesParallel Languages on Scattered and Countable Posets
Traces of TermAutomatic Graphs
State Complexity of Basic Operations on SuffixFree Regular Languages
Graphs III
Exact Algorithms for L(2,1)Labeling of Graphs
On (k,?)Leaf Powers
Quantum Computing
An Improved Claw Finding Algorithm Using Quantum Walk
Complexity Upper Bounds for Classical Locally Random Reductions Using a Quantum Computational Argument
Isomorphism
On the Complexity of Game Isomorphism
Hardness Results for Tournament Isomorphism and Automorphism
Relating Complete and Partial Solution for Problems Similar to Graph Automorphism
Equilibria
Well Supported Approximate Equilibria in Bimatrix Games: A Graph Theoretic Approach
Selfish Load Balancing Under Partial Knowledge
Extending the Notion of Rationality of Selfish Agents: Second Order Nash Equilibria
Games
Congestion Games with PlayerSpecific Constants
Finding Patterns in Given Intervals
The Power of Two Prices: Beyond CrossMonotonicity
Algebra and Strings
Semisimple Algebras of Almost Minimal Rank over the Reals
Structural Analysis of Gapped Motifs of a String
Algorithms III
Online and Offline Access to Short Lists
Optimal Randomized Comparison Based Algorithms for Collision
Randomized and Approximation Algorithms for BlueRed Matching
Words and Graphs
Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation
Finding Paths Between Graph Colourings: PSPACECompleteness and Superpolynomial Distances
Shuffle Expressions and Words with Nested Data.  Contributor:
 Kučera, Luděk, editor., Editor,
Kučera, A. (Antonín), editor., Editor,
SpringerLink (Online service)  Other format:
 Printed edition:
Printed edition:  ISBN:
 9783540744566
9783540744566  Publisher Number:
 10.1007/9783540744566 doi
 Access Restriction:
 Restricted for use by site license.