This volume contains the proceedings of the Ninth Conferenceon Fundamentalsof Computation Theory ...
Basic Notation and Terminology.- Janusz Brzozowski.- Maxime Crochemore, Thierry Lecroq.- Jozef Gr...
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of th...
This monograph provides a detailed investigation of the fixed point or iteration operation, which...
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of th...
Invited Presentations.- Functorial Boxes in String Diagrams.- Some Results on a Game-Semantic App...
This book constitutes the refereed proceedings of the 7th International Conference on Development...
Basic Notation and Terminology.- Janusz Brzozowski.- Maxime Crochemore, Thierry Lecroq.- Jozef Gr...