Disunificação Nominal via Pontos Fixos Documento

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Ver todos
•  

Visão geral

orientado por

• Daniele Nantes Sobrinho

tipo

• master thesis

autores

• Leonardo Melo Batista

data de publicação

• 2020-01-01

Pesquisas

áreas de investigação

• Lógica Formal
• Lógicas e Semântica de Programas
• Teoria da Reescrita

palavras-chave

• Disunification
• Nominal Techniques
• alpha-equivalence

Identidade

identificador BrCris

• e755db2eb9cf23e43955ada70024eb7a