A note on thue systems with a single defining relation
From MaRDI portal
Publication:3735697
DOI10.1007/BF01699465zbMATH Open0601.03015MaRDI QIDQ3735697FDOQ3735697
Celia Wrathall, Friedrich Otto
Publication date: 1985
Published in: Mathematical Systems Theory (Search for Journal in Brave)
Recommendations
Cites Work
- On theories with a combinatorial definition of 'equivalence'
- Title not available (Why is that?)
- The equation \(a_ M=b^ Nc^ P\) in a free group
- Title not available (Why is that?)
- Fast Pattern Matching in Strings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Tree-Manipulating Systems and Church-Rosser Theorems
- Une généralisation des ensembles de Dyck
- Confluent and Other Types of Thue Systems
- Testing for the Church-Rosser property
- Infinite regular Thue systems
- Homogeneous Thue systems and the Church-Rosser property
- Undecidable questions related to Church-Rosser Thue systems
- On monoids presented by a single relation
- 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
Cited In (8)
- Thue systems as rewriting systems
- 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)
