scientific article
From MaRDI portal
Publication:3977193
zbMath0745.20049MaRDI QIDQ3977193
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Turing machinefirst order languageatomic formulacountable abelian \(p\)-groupstrongly \(X\)-constructive
Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Torsion groups, primary groups and generalized primary groups (20K10) Theory of numerations, effectively presented structures (03D45) Model theory of denumerable and separable structures (03C15)
This page was built for publication:
