Proving ground confluence and inductive validity in constructor based equational specifications (Q5044723)

From MaRDI portal
scientific article; zbMATH DE number 7611254
Language Label Description Also known as
English
Proving ground confluence and inductive validity in constructor based equational specifications
scientific article; zbMATH DE number 7611254

    Statements

    Identifiers