scientific article; zbMATH DE number 3375479
From MaRDI portal
Publication:5646887
zbMATH Open0237.02010MaRDI QIDQ5646887FDOQ5646887
Authors: William W. Boone
Publication date: 1968
Title of this publication is not available (Why is that?)
Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Other degrees and reducibilities in computability and recursion theory (03D30)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5646887)