scientific article; zbMATH DE number 3375479

MaRDI QIDQ5646887zbMATH OpenFDO

Authors William W. Boone

Publication date 1968

Mathematics Subject Classification ID

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)