The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subj

Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His

This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automa

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS

This book constitutes the thoroughly refereed post-proceedings of the 13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, held in Vietri sul Mare, Italy in