The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q129912577, #quickstatements; #temporary_batch_1729977700717
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/j.jcss.2018.04.002 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.JCSS.2018.04.002 / rank
 
Normal rank

Latest revision as of 00:04, 11 December 2024

scientific article
Language Label Description Also known as
English
The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
scientific article

    Statements

    The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (English)
    0 references
    0 references
    0 references
    0 references
    6 June 2018
    0 references
    conditional term rewriting
    0 references
    dependency pairs
    0 references
    program analysis
    0 references
    operational termination
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers