Term rewriting systems with sort priorities (Q4876348): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Term-rewriting systems with rule priorities / rank
 
Normal rank
Property / cites work
 
Property / cites work: A rationale for conditional equational programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Investigations in many-sorted quantor logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995530 / rank
 
Normal rank

Latest revision as of 10:54, 24 May 2024

scientific article; zbMATH DE number 872740
Language Label Description Also known as
English
Term rewriting systems with sort priorities
scientific article; zbMATH DE number 872740

    Statements

    Term rewriting systems with sort priorities (English)
    0 references
    0 references
    0 references
    1 May 1996
    0 references
    term rewriting system
    0 references
    operational semantics of recursive programs
    0 references

    Identifiers