Výsledky vyhledávání - "Paranhos, Fabrício Sanches"

A formalization of the nominal theory in Coq

Publikováno v: Biblioteca Digital de Teses e Dissertações da UFG
Universidade Federal de Goiás (UFG)
instacron:UFG

Nas implementações e análises de linguagens de programação é recorrente a necessidade de manipulação, ou demonstração, de termos contendo ligantes. Entretanto, na prática, esta não é uma tarefa trivial. Dentre os principais problemas pod

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::cd56b6ffbb762500d77dc28d34a59e51
http://repositorio.bc.ufg.br/tede/handle/tede/12314

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání