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...
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 |
Ejemplares similares
-
Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Publicado: (2006) -
Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Publicado: (2012) -
Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Publicado: (2012) -
Proceedings of the 7th & 8th Asian Logic Conferences : Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 /
Publicado: (2003) -
Methods and Applications of Mathematical Logic.
por: Carnielli, Walter A.
Publicado: (1988)