α-Equivalence
From MaRDI portal
Publication:4397232
Recommendations
Cited in
(6)- Alpha equivalence equalities
- scientific article; zbMATH DE number 926500 (Why is no real title available?)
- On some results deduced from the equality \(R[1/\alpha] =R[1/(\alpha -a)]\)
- A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols
- Even Kakutani equivalence via \(\overarrow\alpha\) and \(\overarrow\beta\) equivalence in \(\mathbb Z^ 2\).
- scientific article; zbMATH DE number 3254657 (Why is no real title available?)
This page was built for publication: α-Equivalence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4397232)