scientific article
From MaRDI portal
Publication:3816046
zbMath0665.03003MaRDI QIDQ3816046
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Related Items (1)
This page was built for publication: