Canonical derivations for high-level replacement systems (Q5096280)

From MaRDI portal
scientific article; zbMATH DE number 7572062
Language Label Description Also known as
English
Canonical derivations for high-level replacement systems
scientific article; zbMATH DE number 7572062

    Statements

    Identifiers