scientific article; zbMATH DE number 3648688
From MaRDI portal
Publication:3206934
zbMATH Open0417.03015MaRDI QIDQ3206934FDOQ3206934
Authors: Joanna Jȩdrzejowicz
Publication date: 1979
Title of this publication is not available (Why is that?)
cylindersrecursively enumerable setsdeterministic combinatorial systemsinverse confluence probleminverse derivability probleminverse halting problemmachine functionsspecial derivability problem
Recursively (computably) enumerable sets and degrees (03D25) Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03D99)
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 Q3206934)