Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings

Front Cover
Rastislav Královic, Damian Niwinski
Springer Science & Business Media, Aug 6, 2009 - Computers - 760 pages
This book constitutes the refereed proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS 2009, held in Novy Smokovec, High Tatras, Slovakia, in August 2009. The 56 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from 148 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, including algorithmic game theory, algorithmic tearning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, theoretical issues in artificial intelligence.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
2
III
24
IV
34
V
55
VI
56
VII
77
VIII
78
XXXIII
382
XXXIV
403
XXXV
415
XXXVI
427
XXXVII
439
XXXVIII
451
XXXIX
464
XL
477

IX
90
X
102
XI
112
XII
124
XIII
137
XIV
149
XV
162
XVI
175
XVII
187
XVIII
199
XIX
211
XX
223
XXI
235
XXII
247
XXIII
258
XXIV
270
XXV
282
XXVI
295
XXVII
307
XXVIII
319
XXIX
331
XXX
344
XXXI
356
XXXII
369
XLI
489
XLII
501
XLIII
513
XLIV
525
XLV
537
XLVI
549
XLVII
561
XLVIII
574
XLIX
587
L
600
LI
612
LII
624
LIII
636
LIV
651
LV
663
LVI
675
LVII
687
LVIII
700
LIX
712
LX
724
LXI
736
LXII
744
LXIII
758
Copyright

Other editions - View all

Common terms and phrases