scientific article
From MaRDI portal
Publication:3902990
zbMath0455.03014MaRDI QIDQ3902990
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40) Applications of computability and recursion theory (03D80)
Related Items (2)
Complexity results on the conjugacy problem for monoids ⋮ Pseudo-natural algorithms for the word problem for finitely presented monoids and groups
This page was built for publication: