Buscas alternativas:
unificacao nominal » classificacao nominal (Expandir a busca)
Mostrando 1 - 3 resultados de 3 para a busca '"Unificação nominal"', tempo de busca: 0,10s

1

Assuntos: “...Unificação nominal...”

Rumo à unificação nominal AC

Publicado em 2024
Acessar documento
Tese

2

Assuntos: “...Unificação nominal...”

Desunificação nominal via restrições de ponto fixo

Publicado em 2021
Acessar documento
Dissertação

3

Assuntos: “...Unificação nominal...”

Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Acessar documento
Tese