α-Equivalence
From MaRDI portal
Publication:4397232
Recommendations
Cited in
(8)- A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols
- Even Kakutani equivalence via \(\alpha\)- and \(\beta\)-equivalences
- On some results deduced from the equality \(R[1/\alpha] =R[1/(\alpha -a)]\)
- Alpha equivalence equalities
- α-equivalence: a refinement of Kakutani equivalence
- scientific article; zbMATH DE number 926500 (Why is no real title available?)
- scientific article; zbMATH DE number 3254657 (Why is no real title available?)
- Even Kakutani equivalence via and equivalence in Z^ 2.
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)