Book of Donmon Teith

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

An advanced textbook giving a broad, modern view of the computational complexity theory of boolean circuits, with extensive references, for theoretical computer

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasi

From the Preface: We hope that this small volume will suggest directions of synergy and contact for future researchers to build upon, creating connections and m

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the