Semi-inversion of Conditional Constructor Term Rewriting Systems (Q5097640)

From MaRDI portal
scientific article; zbMATH DE number 7576131
Language Label Description Also known as
English
Semi-inversion of Conditional Constructor Term Rewriting Systems
scientific article; zbMATH DE number 7576131

    Statements

    Semi-inversion of Conditional Constructor Term Rewriting Systems (English)
    0 references
    0 references
    0 references
    25 August 2022
    0 references
    program transformation
    0 references
    program inversion
    0 references
    conditional term rewriting systems
    0 references
    logic programs
    0 references
    functional programs
    0 references

    Identifiers