A Logic for Rewriting Strategies (Q2841238)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A Logic for Rewriting Strategies
scientific article

    Statements