Dissertações de Mestrado:
Trabalhos de Conclusão de Curso:
Alexandre Jeronimo Sehnem. Formalização da tradução das lógicas clássica e intuicionista para a lógica linear em Coq, 2023.
Miguel Alfredo Nunes. Fusão de Lógicas Modais no Assistente de Provas Coq, 2023.
Filipe Ramos, Prova da Minimização de Autômatos Finitos Determinísticos pelo Algoritmo de Brzozowski assistida por Computador, 2021.
Ariel Agne Silveira. Implementação de uma Biblioteca de Lógica Modal em Coq. 2020.
Utilizamos cookies para melhorar sua experiência de navegação no Portal da Universidade do Estado de Santa Catarina. Ao continuar navegando no Portal, você concorda com o uso de cookies.