This comprehensive and self-contained textbook presents an accessible overview of the state of th...

Intuitively, a sequence such as 101010101010101010... does not seem random, whereas 1011010111010...

The idea for this book was conceived over the second bottle of Villa Maria's Caber- net Medot '89...

Parameterized complexity is currently a thriving field in complexity theory and algorithm design....

The Asian Logic Conference is the most significant logic meeting outside of North America and Eur...

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapo...

Two of the central concepts for the study of degree structures in computability theory are comput...

This volume is devoted to the main areas of mathematical logic and applications to computer scien...

The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated...