Daniele Nantes-Sobrinho
Daniele Nantes-Sobrinho
Professor of Mathematics, University of Brasília
Verified email at mat.unb.br - Homepage
Title
Cited by
Cited by
Year
Nominal narrowing
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho
1st International Conference on Formal Structures for Computation and …, 2016
222016
Nominal C-unification
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2017
192017
Fixed-point constraints for nominal equational unification
M Ayala-Rincón, M Fernández, D Nantes Sobrinho
Daugstuhl research Online Publishing Server, 2018
152018
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
142017
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
142017
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
82019
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
52019
On nominal syntax and permutation fixed points
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho
arXiv preprint arXiv:1902.08345, 2019
42019
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
32019
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
32017
On solving nominal disunification constraints
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho, D Vale
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
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
JWN Paulus, D Nantes-Sobrinho, JA Pérez
arXiv preprint arXiv:2104.14759, 2021
2021
Nominal Equational Problems
S Kiefer, C Tasson, M Ayala-Rincón, M Fernández, D Nantes-Sobrinho, ...
Foundations of Software Science and Computation Structures24th International …, 2021
2021
Nominal Equational Problems⋆
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho, D Vale
of Software Science and Computation Structures LNCS 12650, 22, 2021
2021
Formalising nominal C-unification generalised with protected variables
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, GF Silva, ...
Mathematical Structures in Computer Science, 1-26, 2021
2021
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
The system can't perform the operation now. Try again later.
Articles 1–20