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...

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