A note on thue systems with a single defining relation
From MaRDI portal
(Redirected from Publication:3735697)
Recommendations
Cites work
- scientific article; zbMATH DE number 3811849 (Why is no real title available?)
- scientific article; zbMATH DE number 3811868 (Why is no real title available?)
- scientific article; zbMATH DE number 3654376 (Why is no real title available?)
- scientific article; zbMATH DE number 3563392 (Why is no real title available?)
- A note on special thue systems with a single defining relation
- An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Confluent and Other Types of Thue Systems
- Fast Pattern Matching in Strings
- Homogeneous Thue systems and the Church-Rosser property
- Infinite regular Thue systems
- On monoids presented by a single relation
- On theories with a combinatorial definition of 'equivalence'
- Testing for the Church-Rosser property
- The equation \(a_ M=b^ Nc^ P\) in a free group
- Tree-Manipulating Systems and Church-Rosser Theorems
- Undecidable questions related to Church-Rosser Thue systems
- Une généralisation des ensembles de Dyck
Cited in
(9)- Thue systems as rewriting systems
- scientific article; zbMATH DE number 49211 (Why is no real title available?)
- On confluence versus strong confluence for one-rule trace-rewriting systems
- Confluence of one-rule Thue systems
- On deciding the confluence of a finite string-rewriting system on a given congruence class
- Finite canonical rewriting systems for congruences generated by concurrency relations
- Overlaps in free partially commutative monoids
- Semigroups presented by one relation and satisfying the Church-Rosser property
- On confluence of one-rule trace-rewriting systems
This page was built for publication: A note on thue systems with a single defining relation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3735697)
