Daniele Nantes-Sobrinho
Daniele Nantes-Sobrinho
Professor of Mathematics, University of Brasília
E-mail confirmado em mat.unb.br - Página inicial
Título
Citado por
Citado por
Ano
Nominal narrowing
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho
1st International Conference on Formal Structures for Computation and …, 2016
182016
Nominal C-unification
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2017
142017
Fixed-point constraints for nominal equational unification
M Ayala-Rincón, M Fernández, D Nantes Sobrinho
Daugstuhl research Online Publishing Server, 2018
132018
On solving nominal fixpoint equations
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
International Symposium on Frontiers of Combining Systems, 209-226, 2017
132017
A formalisation of nominal α-equivalence with A and AC function symbols
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
Electronic Notes in Theoretical Computer Science 332, 21-38, 2017
132017
A Formalisation of Nominal α-equivalence with A, C, and AC Function Symbols
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
Theoretical Computer Science 781, 3-23, 2019
62019
Elementary Deduction Problem for Locally Stable Theories with Normal Forms
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho
arXiv preprint arXiv:1303.7328, 2013
62013
A certified functional nominal c-unification algorithm
M Ayala-Rincón, M Fernández, GF Silva, D Nantes-Sobrinho
International Symposium on Logic-Based Program Synthesis and Transformation …, 2019
22019
A formalisation of nominal c-matching through unification with protected variables
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
Electronic Notes in Theoretical Computer Science 344, 47-65, 2019
22019
On Nominal Syntax and Permutation Fixed Points
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho
arXiv preprint arXiv:1902.08345, 2019
22019
Intruder deduction problem for locally stable theories with normal forms and inverses
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho
Theoretical Computer Science 672, 64-100, 2017
22017
On Solving Nominal Disunification Constraints
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho, D Val
Electronic Notes in Theoretical Computer Science 348, 3-22, 2020
12020
Soundness and Completeness in PVS of a Functional Nominal C-Unification Algorithm
M Ayala-Rincón, M Fernández, GF Silva, D Nantes-Sobrinho
12019
Nominal narrowing
M Fernández, D Nantes-Sobrinho, M Ayala-Rincón
FSCD, 2016
12016
Intruder Deduction Problem for AC-theories Revisited
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho
1
An Investigation of Linear Substitution λ-Calculus as Session-Typed Processes
S Alves, D Nantes-Sobrinho, JA Pérez, D Ventura
Pre-Proceedings, 115, 2020
2020
On Nominal Syntax and Permutation Fixed Points
D Nantes-Sobrinho, M Fernández, M Ayala-Rincón
Logical Methods in Computer Science 16, 2020
2020
Nominal C-Unification
M Fernández, D Nantes-Sobrinho
Logic-Based Program Synthesis and Transformation: 27th International …, 2018
2018
Relating Process Languages for Security and Communication Correctness
D Nantes, JA Pérez
International Conference on Formal Techniques for Distributed Objects …, 2018
2018
O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
D Nantes Sobrinho
2009
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20