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
252017
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
232017
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, C, and AC function symbols
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
Theoretical Computer Science 781, 3-23, 2019
142019
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 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
92019
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
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
Non-Deterministic Functions as Non-Deterministic Processes.
JWN Paulus, D Nantes-Sobrinho, JA Pérez
FSCD, 21:1-21:22, 2021
62021
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
62020
Nominal anti-unification with atom-variables
M Schmidt-Schauß, D Nantes Sobrinho
Schloss Dagstuhl–Leibniz-Zentrum f¨ ur Informatik, 2022
52022
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
52022
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
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
42023
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
42021
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
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
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