On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS
Saved in:
| 主要作者: | |
|---|---|
| Publication Date: | 2021 |
| 格式: | Doctoral thesis |
| 語言: | eng |
| Source: | Repositório Institucional da UnB |
| Download full: | https://repositorio.unb.br/handle/10482/42296 |
總結: | Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2021. |
成為第一個發表評論!