Mathematical Foundations of Computer Science 1995: 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings

Front Cover
This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995.
The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44 revised full research papers selected from a total of 104 submissions. All relevant aspects of theoretical computer science are addressed, particularly the mathematical foundations; the papers are organized in sections on structural complexity, algorithms, complexity theory, graphs in models of computation, lower bounds, formal languages, unification, rewriting and type theory, distributed computation, concurrency, semantics, model checking, and formal calculi.
 

What people are saying - Write a review

User Review - Flag as inappropriate

mathimatical foundations and computer science 1995:20th...,issue 520

Contents

I
1
II
21
III
37
IV
50
V
66
VI
82
VII
93
VIII
94
XXXII
309
XXXIII
319
XXXIV
326
XXXV
337
XXXVI
349
XXXVII
359
XXXIX
371
XL
382

IX
105
X
106
XI
129
XII
139
XIII
149
XIV
159
XV
169
XVII
179
XIX
191
XX
201
XXI
211
XXII
221
XXIII
227
XXIV
237
XXV
247
XXVII
257
XXVIII
267
XXIX
277
XXX
288
XXXI
299
XLI
392
XLII
402
XLIII
412
XLIV
423
XLV
434
XLVI
444
XLVII
454
XLVIII
467
XLIX
479
L
489
LI
499
LII
509
LIII
519
LIV
529
LV
540
LVI
552
LVII
563
LVIII
574
LIX
587
Copyright

Other editions - View all

Common terms and phrases