A detailed study of bounded ACh-unification
Salvato in:
| Autore principale: | |
|---|---|
| Data di pubblicazione: | 2024 |
| Natura: | Master thesis |
| Lingua: | eng |
| Fonte: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/49595 |
Riassunto: | Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2024. |
| Riassunto: | Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2024. |
|---|