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
1 May 1996
0 references
term rewriting system
0 references
operational semantics of recursive programs
0 references