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

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

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

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

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

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

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

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

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