Anti-unification in absorptive theories
Gardado en:
| Autor Principal: | |
|---|---|
| Data de Publicación: | 2025 |
| Formato: | Doctoral thesis |
| Idioma: | eng |
| Fonte: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/54148 |
Summary: | Tese (doutorado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Pós-Graduação em Matemática, 2025. |