Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems (Q5505507)

From MaRDI portal
scientific article; zbMATH DE number 5498233
Language Label Description Also known as
English
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
scientific article; zbMATH DE number 5498233

    Statements

    Identifiers