che-chandler.de

PROCS OF THE 7TH & 8TH ASIAN LOGIC CON..

Proceedings Of The 10th Asian Logic Conference

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

PROC OF THE 10TH ASIAN LOGIC CONF

PROCEEDINGS OF THE 12TH ASIAN LOGIC CONFERENCE

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

Fundamentals of Parameterized Complexity

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

Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees

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

Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference

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

Algorithmic Randomness and Complexity

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

Multivariate Algorithmic Revolution and Beyond

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

Proceedings Of The 7th And 8th Asian Logic Conferences

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

Parameterized Complexity

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

Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference