On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS
Gorde:
| Egile nagusia: | |
|---|---|
| Argitaratze data: | 2021 |
| Formatua: | Doctoral thesis |
| Hizkuntza: | eng |
| Baliabidea: | Repositório Institucional da UnB |
| Download full: | https://repositorio.unb.br/handle/10482/42296 |
Gaia: | Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2021. |