scientific article
From MaRDI portal
Publication:4029321
zbMath0770.20018MaRDI QIDQ4029321
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Metamathematical considerations in group theory (20A10)
This page was built for publication: