Navegando por Assunto Provador de teoremas interativo
Mostrando resultados 1 a 3 de 3
Data de publicação | Data de apresentação | Título | Autor(es) | Orientador(es) | Coorientador(es) |
---|---|---|---|---|---|
28-Jun-2022 | 5-Nov-2021 | Algoritmos de seleção de cláusulas em provas por resolução para lógicas modais | Leite, José Marcos da Silva | Nalon, Cláudia | - |
27-Jun-2022 | 17-Nov-2021 | Sobre a confluência do cálculo λx com locally nameless representation | Fonseca, Gabriel Nunes Rodrigues | Moura, Flávio Leonardo Cavalcanti de | - |
27-Jun-2022 | 9-Nov-2021 | Sobre a confluência do cálculo λx na representação nominal | Brandão, Caio Albuquerque | Moura, Flávio Leonardo Cavalcanti de | - |