Undecidable questions related to Church-Rosser Thue systems (Q1839249): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Confluent and Other Types of Thue Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3319766 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homogeneous Thue systems and the Church-Rosser property / 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: Thue congruences and the Church-Rosser property / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5804999 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite regular Thue systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recursive Unsolvability of a problem of Thue / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recursive unsolvability of group theoretic problems / rank
 
Normal rank

Latest revision as of 18:47, 13 June 2024

scientific article
Language Label Description Also known as
English
Undecidable questions related to Church-Rosser Thue systems
scientific article

    Statements

    Undecidable questions related to Church-Rosser Thue systems (English)
    0 references
    1983
    0 references
    0 references
    finite Thue systems
    0 references
    almost confluent
    0 references
    preperfect
    0 references
    Church-Rosser congruence
    0 references
    0 references
    0 references