A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm a

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Indian Confere

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internato

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm a