This book constitutes the thoroughly refereed post-conference proceedings of the 7th Internationa...

This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of...

The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in...

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) ...

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal ...

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory...

Invited Talks.- Achieving Type Safety for Low-Level Code.- Logic Information Systems for Logic Pr...

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (...

This book constitutes the refereed proceedings of the 10th International Symposium on Programming...

This book presents a comprehensive mathematical theory that explains precisely what information f...