Decidability of elementary theories of lattices of subsemigroups
From MaRDI portal
Publication:920966
DOI10.1007/BF00971145zbMath0709.03004MaRDI QIDQ920966
Publication date: 1990
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Varieties and pseudovarieties of semigroups (20M07) Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Related Items (4)
Quasiconformal mappings with restrictions in measure ⋮ On the compactification of classes with integral constraints on the Lavrent'ev characteristic ⋮ Solutions with singularities of a certain equation of mathematical physics ⋮ On the Beltrami equations with two characteristics
Cites Work
This page was built for publication: Decidability of elementary theories of lattices of subsemigroups