Rewriting techniques for program synthesis (Q5055734)

From MaRDI portal
scientific article; zbMATH DE number 7631129
Language Label Description Also known as
English
Rewriting techniques for program synthesis
scientific article; zbMATH DE number 7631129

    Statements

    Identifiers