4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings /
First Statement of Responsibility
Andrea Corradini, Bartek Klin, Corina Cîrstea (editions.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiii, 419 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
6859
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
SUMMARY OR ABSTRACT
Text of Note
Annotation This volume constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions