Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Goncharov, S. S.
Otros Autores: Downey, R., Ono, H.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Singapore : World Scientific Publishing Company, 2006.
Temas:
Acceso en línea:Texto completo