Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers

Front Cover
Leszek Pacholski, Jerzy Tiuryn
Springer Science & Business Media, Jul 18, 1995 - Computers - 553 pages
This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.
The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.
 

What people are saying - Write a review

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

Contents

I
1
II
16
III
31
IV
46
V
61
VI
76
VII
91
VIII
106
XXI
279
XXII
294
XXIII
309
XXIV
324
XXV
339
XXVI
354
XXVII
369
XXVIII
382

IX
121
X
136
XI
151
XII
163
XIII
177
XIV
190
XV
205
XVI
217
XVII
228
XVIII
242
XIX
249
XX
264
XXIX
397
XXX
412
XXXI
427
XXXII
442
XXXIII
456
XXXIV
471
XXXV
486
XXXVI
501
XXXVII
512
XXXVIII
527
XXXIX
543
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information