Anti-unification in absorptive theories
Saved in:
| Main Author: | |
|---|---|
| Publication Date: | 2025 |
| Format: | Doctoral thesis |
| Language: | eng |
| Source: | 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. |
Be the first to leave a comment!