On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS
Documento
- Visão geral
- Identidade
- Ver todos
Visão geral
orientado por
tipo
- doctoral thesis
autores
data de publicação
- 2021-01-01
prêmio patrocinado pela
- UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE Organização