Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
I tiakina i:
| Kaituhi matua: | |
|---|---|
| Rā whakaputa: | 2009 |
| Hōputu: | Master thesis |
| Reo: | por |
| Puna: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/7581 |
Whakarāpopototanga: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009. |
Ngā tūemi rite: Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
- Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
- Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL
- Es realmente la lógica tópicamente neutra y completamente general?
- MOOC de robótica educacional e pensamento computacional aplicado ao ensino e aprendizagem de algoritmos e programação
- Verificação de propriedades do cálculo גex em Coq
- Uma formalização da teoria de reescrita em linguagem de ordem superior