scientific article; zbMATH DE number 3417456
From MaRDI portal
Publication:5682319
zbMath0265.02033MaRDI QIDQ5682319
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40) PL-topology (57Q99) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to manifolds and cell complexes (57-00) Metamathematical considerations in group theory (20A10)
Related Items
On a lower bound for the connectivity of the independence complex of a graph ⋮ Algorithms for recognizing knots and 3-manifolds
This page was built for publication: