Verificação de propriedades do cálculo גex em Coq
| Autor(a) principal: | |
|---|---|
| Data de Publicação: | 2010 |
| Tipo de documento: | Dissertação |
| Idioma: | por |
| Texto Completo: | http://repositorio.unb.br/handle/10482/7685 |
| id |
UNB_6e14bd5fa5d0b3bbbb429be9067152ed |
|---|---|
| oai_identifier_str |
oai:repositorio2.unb.br:10482/7685 |
| network_name_str |
Repositório Institucional da UnB |
| title |
Verificação de propriedades do cálculo גex em Coq |
| author |
Carvalho Segundo, Washington Luís Ribeiro de |
| topic |
Verificação formal Cálculos de substituições explícitas Cálculo ג Cálculo ex |
| publishDate |
2010 |
| format |
masterThesis |
| url |
http://repositorio.unb.br/handle/10482/7685 |
| language |
por |
| instname_str |
Universidade de Brasília (UnB) |
| instacron_str |
UNB |