This book treats the elements of discrete mathematics that have important applications in computer s... more

Features a comprehensive introduction to the connections between formal language theory and group th... more

The idea behind this book is to provide the mathematical foundations for assessing modern developmen... more

The Symposium on Theoretical Aspects of Computer Science (STACS) is alt- nately held in France and i... more

The theory of traces employs techniques and tackles problems from quite diverse areas which include ... more

This volume presents a comprehensive study of Mazurkiewicz’ trace theory from an algebraic-combinato... more

This book constitutes the proceedings of the 26th International Conference on Developments in Langua... more