Follow
Daniele Nantes-Sobrinho
Daniele Nantes-Sobrinho
Researcher, Imperial College London and 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
302016
Nominal C-unification
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2017
232017
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
212017
Fixed-point constraints for nominal equational unification
M Ayala-Rincón, M Fernández, D Nantes Sobrinho
Daugstuhl research Online Publishing Server, 2018
182018
On nominal syntax and permutation fixed points
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho
Logical Methods in Computer Science 16, 2020
142020
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
122019
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
92017
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
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
72013
Nominal anti-unification with atom-variables
M Schmidt-Schauß, D Nantes Sobrinho
Schloss Dagstuhl–Leibniz-Zentrum f¨ ur Informatik, 2022
52022
Non-Deterministic Functions as Non-Deterministic Processes.
JWN Paulus, D Nantes-Sobrinho, JA Pérez
FSCD, 21:1-21:22, 2021
52021
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
52020
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures
DN Sobrinho, M Ayala-Rincón
International Workshop on Logic, Language, Information, and Computation, 218-231, 2010
52010
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
42019
A certified algorithm for AC-unification
M Ayala-Rincón, M Fernández, GF Silva, DN Sobrinho
7th International Conference on Formal Structures for Computation and …, 2022
32022
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version)
JWN Paulus, D Nantes-Sobrinho, JA Pérez
arXiv preprint arXiv:2112.01593, 2021
32021
Nominal AC-matching
M Ayala-Rincón, M Fernández, GF Silva, T Kutsia, D Nantes-Sobrinho
International Conference on Intelligent Computer Mathematics, 53-68, 2023
22023
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 31 (3), 286-311, 2021
22021
Typed Non-determinism in Functional and Concurrent Calculi
B van den Heuvel, JWN Paulus, D Nantes-Sobrinho, JA Pérez
Asian Symposium on Programming Languages and Systems, 112-132, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20