Mathematical logic in asia - proceedings of the 9th asian logic conference
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789812700452
Date de publication :
25 oct. 2006
Langue :
Anglais
Pays d'origine :
Singapour
Devoted to the main areas of mathematical logic and applications to computer science, this volume features articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas.