Retrenchment and refinement interworking: the tower theorems (Q5740620)

From MaRDI portal
scientific article; zbMATH DE number 6606907
Language Label Description Also known as
English
Retrenchment and refinement interworking: the tower theorems
scientific article; zbMATH DE number 6606907

    Statements

    Identifiers