Modular aspects of properties of term rewriting systems related to normal forms (Q5055726): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: On termination of the direct sum of term-rewriting systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Church-Rosser property for the direct sum of term rewriting systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Counterexamples to termination for the direct sum of term rewriting systems / rank
 
Normal rank

Latest revision as of 01:57, 31 July 2024

scientific article; zbMATH DE number 7631121
Language Label Description Also known as
English
Modular aspects of properties of term rewriting systems related to normal forms
scientific article; zbMATH DE number 7631121

    Statements

    Identifiers