Utilizar filtros para refinar o resultado de busca.
Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
---|---|---|---|---|---|
29-Jun-2011 | 5-Mar-2010 | Cálculos de substituições explícitas à la de Bruijn com sistemas de tipos com interseção | Ventura, Daniel Lima | Ayala-Rincón, Mauricio | - |
29-Jun-2011 | 10-Ago-2010 | Sobre um método geral para se obter leis fortes dos grandes números | Goulart, Grace Kelly Souza Carmo | Medino, Ary Vasconcelos | - |
22-Jun-2011 | 26-Nov-2010 | Grupos metabelianos com os mesmos quocientes finitos | Silva, Felipe Batista da | Pinto, Aline Gomes da Silva | - |
2-Fev-2011 | - | O anel dos vetores de Witt e o problema de Waring | Cardoso Júnior, Abílio Lemos | Godinho, Hemar Teixeira | - |
4-Jan-2011 | 11-Dez-2009 | Algumas álgebras de Lie sem base finita para suas identidades | Almeida, João Marcelo Gonçalves de | Krassilnikov, Alexei | - |