On Solving Nominal Disunification Constraints Documento

• doi:10.1016/j.entcs.2020.02.002
• http://dx.doi.org/10.1016/j.entcs.2020.02.002

•  
• Visão geral
•  
• Identidade
•  
• Informação adicional documento
•  
• Outro
•  
• Ver todos
•  

Visão geral

tipo

• journal article

autores

• Daniele Nantes Sobrinho
• Deivid Rodrigues do Vale
• Maurício Ayala Rincon

data de publicação

• 2020-01-01

publicada em

• ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 

Identidade

identificador BrCris

• 34f9a9c6f02d5177ad23c24fe0422e74

Informação adicional documento

Página Inicial

• 3

página final

• 22

Volume

• 348

Outro

tem linguagem

• Inglês