Lifting Theorems for Equality
From MaRDI portal
Publication:5090501
DOI10.4230/LIPIcs.STACS.2019.50OpenAlexW2934881566MaRDI QIDQ5090501
Could not fetch data.
Publication date: 18 July 2022
Full work available at URL: https://doi.org/10.4230/LIPIcs.STACS.2019.50
Could not fetch data.
Could not fetch data.