Mathematical Foundations of Computer Science 1988: 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings

Front Cover
Springer Science & Business Media, Aug 10, 1988 - Computers - 562 pages
This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.
 

What people are saying - Write a review

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

Contents

I
1
II
14
III
27
IV
44
V
59
VI
73
VII
93
VIII
107
XXIX
318
XXX
329
XXXI
339
XXXII
351
XXXIII
360
XXXIV
371
XXXV
381
XXXVI
396

IX
121
X
138
XII
154
XIII
162
XIV
171
XV
180
XVI
190
XVII
201
XVIII
210
XIX
220
XX
231
XXI
240
XXII
249
XXIII
262
XXIV
271
XXV
280
XXVI
291
XXVII
300
XXVIII
309
XXXVII
405
XXXVIII
414
XXXIX
424
XL
433
XLI
445
XLII
454
XLIII
463
XLIV
472
XLV
483
XLVI
492
XLVII
501
XLVIII
512
XLIX
518
L
529
LI
538
LII
542
LIII
552
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information