The application of auto-repeat facilities in telephone systems, as well as the use of random acce...

These proceedings of ICALP '91 contain papers covering recent research in all areas of theoretica...

This volume constitutes the proceedings of the Fourth International Conference on Algebraic and L...

The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was he...

Invited Papers.- Formal Methods in CafeOBJ.- The Essence of XML (Preliminary Version).- To the Ga...

This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic...

The application of auto-repeat facilities in telephone systems, as well as the use of random acce...