scientific article; zbMATH DE number 3815971

zbMATH Open0516.20034MaRDI QIDQ3663528FDOQ3663528

L. P. Lisovik

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

algorithmsfree monoiddecision problemsquasiidentitiesmarked treesfinite transformers

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05)

Cited In (2)

• Functions of binary trees and their applications in algorithm complexity analysis
• Construction of decidable singular theories of two successor functions with an extra predicate

This page was built for publication:

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