Quasirelations in a free group and transformator equivalence problems

DOI10.1007/BF01987299zbMath0615.03021OpenAlexW1981982516MaRDI QIDQ1820772

L. P. Lisovik

Publication date: 1986

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187338

zbMATH Keywords

Turing machinesequivalence problemalgorithmic decidability of the inclusion problemquasirelation in a free group

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Turing machines and related notions (03D10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quasirelations in a free group and transformator equivalence problems