Daniele Nantes-Sobrinho

Available identifiers

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniele Nantes-Sobrinho