Guilherme Vicentin de Toledo
Possui doutorado em lógica pela Universidade Estadual de Campinas (2022). Tem experiência nas áreas de Lógica e Ciência da Computação, atuando principalmente nos seguintes temas: semânticas não-determinísticas, lógicas paraconsistentes, multiálgebras, satisfabilidade módulo teorias, combinação de teorias e teorias de modelos multissortida. Site pessoal: https://guilhermevtoledo.wordpress.com
|
|
|
Atenção:As informações de produção listadas a seguir referem-se exclusivamente ao período de análise considerado no presente relatório, bem como ao período, ou períodos, em que o membro estadiou na instituição. Para verificar a produção completa do membro, consulte o seu Currículo Lattes.