Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction.- Online Problems...

This is a book about computation, something which is ubiquitous in the modern world. More precise...

Computability theory is a branch of mathematical logic and computer science that has become incre...

The Asian Logic Conference is one of the largest meetings, and this volume represents work presen...

The book contains 8 detailed expositions of the lectures given at the Kaikoura 2000 Workshop on C...

Computability theory is a branch of mathematical logic and computer science that has become incre...