This volume contains the proceedings of the Ninth Conferenceon Fundamentalsof Computation Theory ...

This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of th...

The theory of formal languages is widely accepted as the backbone of theoretical computer science...

This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of th...

 This book constitutes the refereed proceedings of the 7th International Conference on Developmen...

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Sci...

This monograph contains the results of our joint research over the last ten years on the logic of...

The theory of formal languages is widely accepted as the backbone of theoretical computer science...

This book features the refereed proceedings of the 16th International Symposium on Fundamentals o...