scientific article; zbMATH DE number 1419254
From MaRDI portal
Publication:4942273
zbMath0946.20014MaRDI QIDQ4942273
Publication date: 23 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilityfinite semigroupsdecidabilitysemigroup pseudovarietiesBirkhoff operatorscompletely decidable classesrecursive classes
Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
This page was built for publication:
