Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.creator | Ayala-Rincón, Mauricio | - |
Autor(es): dc.creator | Fernández, Maribel | - |
Autor(es): dc.creator | Nantes Sobrinho, Daniele | - |
Data de aceite: dc.date.accessioned | 2024-07-22T12:33:36Z | - |
Data de disponibilização: dc.date.available | 2024-07-22T12:33:36Z | - |
Data de envio: dc.date.issued | 2019-06-11 | - |
Data de envio: dc.date.issued | 2019-06-11 | - |
Data de envio: dc.date.issued | 2018 | - |
Fonte completa do material: dc.identifier | http://repositorio.unb.br/handle/10482/34780 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/806375 | - |
Descrição: dc.description | We propose a new axiomatisation of the alpha-equivalence relation for nominal terms, based on a primitive notion of fixed-point constraint. We show that the standard freshness relation between atoms and terms can be derived from the more primitive notion of permutation fixed-point, and use this result to prove the correctness of the new alpha-equivalence axiomatisation. This gives rise to a new notion of nominal unification, where solutions for unification problems are pairs of a fixed-point context and a substitution. Although it may seem less natural than the standard notion of nominal unifier based on freshness constraints, the notion of unifier based on fixedpoint constraints behaves better when equational theories are considered: for example, nominal unification remains finitary in the presence of commutativity, whereas it becomes infinitary when unifiers are expressed using freshness contexts. | - |
Descrição: dc.description | Instituto de Ciências Exatas (IE) | - |
Descrição: dc.description | Departamento de Matemática (IE MAT) | - |
Formato: dc.format | application/pdf | - |
Publicador: dc.publisher | Daugstuhl research Online Publishing Server | - |
Direitos: dc.rights | Acesso Aberto | - |
Direitos: dc.rights | © Mauricio Ayala-Rincón, Maribel Fernández, and Daniele Nantes-Sobrinho; licensed under Creative Commons License CC-BY. | - |
Palavras-chave: dc.subject | Termos nominais | - |
Palavras-chave: dc.subject | Equações de ponto fixo | - |
Palavras-chave: dc.subject | Unificação nominal | - |
Palavras-chave: dc.subject | Teoria de equações | - |
Título: dc.title | Fixed-point constraints for nominal equational unification | - |
Aparece nas coleções: | Repositório Institucional – UNB |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: