Washington de Carvalho-Segundo

Available identifiers

zbMath Open de-carvalho-segundo.washingtonMaRDI QIDQ1671155

List of research outcomes

Publication	Date of Publication	Type
Formalising nominal C-unification generalised with protected variables	2022-01-20	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
On solving nominal fixpoint equations	2018-01-04	Paper

Research outcomes over time

This page was built for person: Washington de Carvalho-Segundo