scientific article
From MaRDI portal
Publication:3914971
zbMATH Open0464.03038MaRDI QIDQ3914971FDOQ3914971
Publication date: 1979
Title of this publication is not available (Why is that?)
cylinderhalting problemderivability problemsemicylinderconfluence problemone-one degrees of unsolvability
Decidability of theories and sets of sentences (03B25) Thue and Post systems, etc. (03D03) Turing machines and related notions (03D10) 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 Q3914971)
