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	2023-10-23	Paper
Non-deterministic functions as non-deterministic processes	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
Elementary deduction problem for locally stable theories with normal forms	2021-06-08	Paper
On solving nominal disunification constraints	2021-01-19	Paper
On nominal syntax and permutation fixed points	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
Nominal narrowing	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