Determinization of conditional term rewriting systems (Q1929232)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Determinization of conditional term rewriting systems
scientific article

    Statements

    Determinization of conditional term rewriting systems (English)
    0 references
    0 references
    0 references
    0 references
    7 January 2013
    0 references
    deterministic conditional term rewriting system
    0 references
    functional program
    0 references
    rule-based transformation
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers