NTS grammars and Church-Rosser systems (Q1159985): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3904059 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Confluent and Other Types of Thue Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monadic Thue systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing for the Church-Rosser property / rank
 
Normal rank
Property / cites work
 
Property / cites work: Une généralisation des ensembles de Dyck / rank
 
Normal rank
Property / cites work
 
Property / cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On theories with a combinatorial definition of 'equivalence' / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4105657 / rank
 
Normal rank

Latest revision as of 14:45, 13 June 2024

scientific article
Language Label Description Also known as
English
NTS grammars and Church-Rosser systems
scientific article

    Statements

    NTS grammars and Church-Rosser systems (English)
    0 references
    0 references
    1981
    0 references
    0 references
    context-free grammars
    0 references
    monadic Church-Rosser systems
    0 references
    Thue system
    0 references
    sentential forms
    0 references
    nonterminal separated grammar
    0 references
    0 references