scientific article; zbMATH DE number 3047078
From MaRDI portal
Publication:5786283
zbMath0030.19401MaRDI QIDQ5786283
Publication date: 1947
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
Decidability and independence of conjugacy problems in finitely presented monoids ⋮ Inverse monoids: decidability and complexity of algebraic questions. ⋮ On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups ⋮ The origins of combinatorics on words ⋮ New proof for the undecidability of the circular PCP ⋮ The Bounded and Precise Word Problems for Presentations of Groups ⋮ Product decompositions of semigroups induced by action pairs ⋮ The word problem for \(1\mathcal{LC}\) congruences is NP-hard. ⋮ Generalized sums over histories for quantum gravity. II: Simplicial conifolds ⋮ From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work ⋮ On the \(n\)-permutation Post correspondence problem ⋮ The word problem for one-relation monoids: a survey ⋮ Word problem for deterministic and reversible semi-Thue systems ⋮ The B B Newman spelling theorem ⋮ Computing finite semigroups ⋮ Decision problems for semi-Thue systems with a few rules ⋮ Degrees of autostability relative to strong constructivizations ⋮ Polygraphs of finite derivation type ⋮ On one-relator groups and units of special one-relation inverse monoids
This page was built for publication: