Daniele Nantes-Sobrinho

Available identifiers

zbMath Open sobrinho.daniele-nantesWikidataQ58885508 ScholiaQ58885508MaRDI QIDQ683745

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q4993333	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniele Nantes-Sobrinho