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

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: Washington de Carvalho-Segundo