Chargement en cours…

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 science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Goncharov, S. S.
Autres auteurs: Downey, R., Ono, H.
Format: Électronique eBook
Langue:Inglés
Publié: Singapore : World Scientific Publishing Company, 2006.
Sujets:
Accès en ligne:Texto completo