This volume constitutes the refereed proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS 2011, held in Warsaw, Poland, in August 2011. The 48 revised full papers presented together with 6 invited talks were carefully reviewed and…
Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms
by Society for Industrial and Applied Mathematics (U.S.), Association for Computing Machinery (U.S.)., Special Interest Group for Algorithms and Computation Theory, Annual ACM-SIAM Symposium on Discrete Algorithms
Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London Mathematical Society Symposium on the subject which was held at the University of Durham. Participants at the …
Selected papers reflecting current research in categories and computer science.
Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London Mathematical Society Symposium on the subject which was held at the University of Durham. Participants at the …
Annotation This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in …
Annotation This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in …
This invaluable book contains 19 papers selected from those submitted to a conference held in Hong Kong in July 2000 to celebrate the 70th birthday of Professor Steve Smale. It may be regarded as a continuation of the proceedings of SMALEFEST 1990 ("From Topology to Computation"…