| Grant number: | 07/08722-4 |
| Support Opportunities: | Scholarships in Brazil - Scientific Initiation |
| Start date: | May 01, 2008 |
| End date: | December 31, 2008 |
| Field of knowledge: | Physical Sciences and Mathematics - Computer Science - Theory of Computation |
| Principal Investigator: | Walter Alexandre Carnielli |
| Grantee: | Igor Carboni Oliveira |
| Host Institution: | Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil |
| Associated research grant: | 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications, AP.TEM |
Abstract Pretendemos estudar certos tópicos avançados de computabilidade e indecidibilidade, envolvendo teorias lógicas e problemas decidíveis e indecidíveis importantes da matemática, lógica e ciência da computação. | |
| News published in Agência FAPESP Newsletter about the scholarship: | |
| More itemsLess items | |
| TITULO | |
| Articles published in other media outlets ( ): | |
| More itemsLess items | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |