Daniele Nantes-Sobrinho

Available identifiers

zbMath Open sobrinho.daniele-nantesDBLP36/8280WikidataQ58885508 ScholiaQ58885508MaRDI QIDQ683745

List of research outcomes

Publication	Date of Publication	Type
Types and terms translated: unrestricted resources in encoding functions as processes	2024-08-01	Paper
Nominal anti-unification with atom-variables	2024-05-27	Paper
A certified algorithm for AC-unification	2024-05-27	Paper
Towards Fast Nominal Anti-unification of Letrec-Expressions	2024-04-26	Paper
Nominal AC-matching	2024-02-28	Paper
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)	2023-10-23	Paper
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)	2023-06-23	Paper
A Certified Functional Nominal C-Unification Algorithm	2022-08-25	Paper
Formalising nominal C-unification generalised with protected variables	2022-01-20	Paper
Nominal equational problems	2021-10-18	Paper
Fixed-Point Constraints for Nominal Equational Unification	2021-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q4992393	2021-06-08	Paper
On solving nominal disunification constraints	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5216313	2020-02-17	Paper
A formalisation of nominal C-matching through unification with protected variables	2019-11-13	Paper
A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols	2019-06-25	Paper
Nominal C-unification	2018-09-06	Paper
A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols	2018-04-23	Paper
Intruder deduction problem for locally stable theories with normal forms and inverses	2018-02-09	Paper
On solving nominal fixpoint equations	2018-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5369476	2017-10-17	Paper
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures	2010-09-29	Paper

Research outcomes over time

This page was built for person: Daniele Nantes-Sobrinho