On Nominal Syntax and Permutation Fixed Points Documento

• http://doi:10.23638/LMCS-16(1:19)2020
• http://dx.doi.org/10.23638/LMCS-16(1:19)2020
• http://https://lmcs.episciences.org/6106/pdf][doi:10.23638/lmcs-16(1:19)2020

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

Visão geral

tipo

• journal article

autores

• Daniele Nantes Sobrinho
• FERNÁNDEZ, MARIBEL
• Maurício Ayala Rincon

data de publicação

• 2020-01-01

publicada em

• Logical Methods in Computer Science 

Pesquisas

palavras-chave

• Nominal Syntax
• alpha-equivalence
• fixed point constraints

Identidade

identificador BrCris

• da2224830702c9acf37266b690b498b8

Informação adicional documento

série

• 1

Página Inicial

• 19
• 19:1

página final

• 19:36

Volume

• 16

Outro

tem linguagem

• Inglês