Nominal narrowing M Ayala-Rincón, M Fernández, D Nantes-Sobrinho 1st International Conference on Formal Structures for Computation and …, 2016 | 30 | 2016 |
Nominal C-unification M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ... International Symposium on Logic-Based Program Synthesis and Transformation …, 2017 | 24 | 2017 |
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 | 22 | 2017 |
Fixed-point constraints for nominal equational unification M Ayala-Rincón, M Fernández, D Nantes Sobrinho Daugstuhl research Online Publishing Server, 2018 | 18 | 2018 |
On nominal syntax and permutation fixed points M Ayala-Rincón, M Fernández, D Nantes-Sobrinho Logical Methods in Computer Science 16, 2020 | 14 | 2020 |
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 | 13 | 2019 |
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 | 13 | 2017 |
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 | 9 | 2017 |
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 | 8 | 2019 |
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 | 7 | 2013 |
Nominal anti-unification with atom-variables M Schmidt-Schauß, D Nantes Sobrinho Schloss Dagstuhl–Leibniz-Zentrum f¨ ur Informatik, 2022 | 5 | 2022 |
Non-Deterministic Functions as Non-Deterministic Processes. JWN Paulus, D Nantes-Sobrinho, JA Pérez FSCD, 21:1-21:22, 2021 | 5 | 2021 |
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 | 5 | 2020 |
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 | 5 | 2010 |
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 | 4 | 2022 |
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 | 4 | 2019 |
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 | 3 | 2023 |
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 | 3 | 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 31 (3), 286-311, 2021 | 3 | 2021 |
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 | 1 | 2023 |