Rumo à unificação nominal AC
Salvato in:
| Autore principale: | |
|---|---|
| Data di pubblicazione: | 2024 |
| Natura: | Doctoral thesis |
| Lingua: | por |
| Fonte: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/49802 |
Riassunto: | Tese (Doutorado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2024. |
Documenti analoghi: Rumo à unificação nominal AC
- Nominal equational problems modulo associativity, commutativity and associativity-commutativity
- Desunificação nominal via restrições de ponto fixo
- Fixed-point constraints for nominal equational unification
- Nominal disunification
- Nominal commutative narrowing
- Nominal anti-unification with atom-variables