THE WORD PROBLEM - MaRDI portal

Cited in

(29)

Model-theoretic and algorithmic questions in group theory
Følner functions and the generic word problem for finitely generated amenable groups
Well-orders realized by C.E. equivalence relations
Partial word and equality problems and Banach densities
Using computability to measure complexity of algebraic structures and classes of structures
A generalization of a power-conjugacy problem in torsion-free negatively curved groups
Conjugacy search problem and the Andrews-Curtis conjecture
MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is captured by the IO and the OI hierarchies
Computer proof of monotonicity of operations on orthomodular lattices
On the Computable Theory of Bounded Analytic Functions
The word problem for some uncountable groups given by countable words
Groups, graphs, languages, automata, games and second-order monadic logic
Finding bases of uncountable free abelian groups is usually difficult
Orbit Computation for Atomically Generated Subgroups of Isometries of $\mathbb{Z}^n$
A notion of effectiveness for subshifts on finitely generated groups
The B B Newman spelling theorem
Search problems in groups and branching processes.
On one-relator groups and units of special one-relation inverse monoids
Constructive geometrization of Thurston maps and decidability of Thurston equivalence
The classification of surfaces via normal curves
Levels of undecidability in rewriting
The Todd-Coxeter algorithm for semigroups and monoids
Decidability of the Brinkmann problems for endomorphisms of the free group
Computable presentations of C*-algebras
Self-simulable groups
Deciding if a hyperbolic group splits over a given quasiconvex subgroup
Generically computable abelian groups and isomorphisms
On the reachability problem on monoid-labelled undirected graphs
Real computational universality: the word problem for a class of groups with infinite presentation

This page was built for publication: THE WORD PROBLEM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3259071)