Nominal commutative narrowing
Furkejuvvon:
| Váldodahkki: | |
|---|---|
| Almmustuhttinbeaivi: | 2022 |
| Materiálatiipa: | Master thesis |
| Giella: | por |
| Gáldu: | Repositório Institucional da UnB |
| Download full: | https://repositorio.unb.br/handle/10482/44597 |
Čoahkkáigeassu: | Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2022. |