On notions of inductive validity for first-order equational clauses (Q5210769)

From MaRDI portal
scientific article; zbMATH DE number 7154545
Language Label Description Also known as
English
On notions of inductive validity for first-order equational clauses
scientific article; zbMATH DE number 7154545

    Statements

    Identifiers