We take as our general setting decision problems regarding certain combinatorial properties of THUE systems and algebraic properties of the semi-groups they present. Let the class of all THUE systems be divided up as follows: V o = {all THUE systems with unsolvable word problem}, Wl = {all THUE sys
โฆ LIBER โฆ
Decision problems in classes of group presentations with uniformly solvable word problem
โ Scribed by Jody Lockhart
- Book ID
- 112501354
- Publisher
- Springer
- Year
- 1981
- Tongue
- English
- Weight
- 367 KB
- Volume
- 37
- Category
- Article
- ISSN
- 0003-889X
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Some Non-Recursive Classes of Thue Syste
โ
Ann Yasuhara
๐
Article
๐
1974
๐
John Wiley and Sons
๐
English
โ 863 KB
Real Computational Universality: The Wor
โ
Klaus Meer; Martin Ziegler
๐
Article
๐
2009
๐
Springer-Verlag
๐
English
โ 431 KB
On complexity of the word problem in bra
โ
Hessam Hamidi-Tehrani
๐
Article
๐
2000
๐
Elsevier Science
๐
English
โ 350 KB
We prove that the word problem in the mapping class group of the once-punctured surface of genus g has complexity O(|w| 2 g) for |w| log(g) where |w| is the length of the word in a (standard) set of generators. The corresponding bound in the case of the closed surface is O(|w| 2 g 2 ). We also carry
Representation of turing reducibility by
โ
Donald J. Collins
๐
Article
๐
1972
๐
Springer Netherlands
๐
English
โ 905 KB
Example of a finitely presented group in
โ
V. N. Remeslennikov
๐
Article
๐
1973
๐
Springer US
๐
English
โ 1012 KB
The word and conjugacy problems for a cl
โ
Do Van Long
๐
Article
๐
1983
๐
Springer
๐
English
โ 388 KB