ENGLISH

Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

By John Reynolds , Peter O’Hearn , Hongseok Yang (auth.) , Laurent Fribourg (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2001
ISBN
3540425543, 9783540425540
DOI
10.1007/3-540-44802-0
Open Library ID
OL18164106M
Language
english
Format
PDF
Filesize
4 MB (4058347 bytes)
Series
Lecture Notes in Computer Science 2142
Edition
1
Pages
628\630
Topic
Computers
Library
Kolxo3
Time added
2009-12-04 00:34:26
Mathematical Logic and Formal Languages; Artificia

Description

This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001. The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.

Similar books