scientific article; zbMATH DE number 3448565
From MaRDI portal
Publication:4774035
zbMath0286.02048MaRDI QIDQ4774035
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40) Applications of computability and recursion theory (03D80) Metamathematical considerations in group theory (20A10)
Related Items (1)
This page was built for publication: