Washington de Carvalho-Segundo
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Formalising nominal C-unification generalised with protected variables Mathematical Structures in Computer Science | 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 Theoretical Computer Science | 2019-06-25 | Paper |
| Nominal C-unification (available as arXiv preprint) | 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
