Combinatorial systems. I: Cylindrical problems
From MaRDI portal
Publication:2558862
DOI10.1016/S0022-0000(72)80005-9zbMath0256.02018MaRDI QIDQ2558862
Publication date: 1972
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
03D25: Recursively (computably) enumerable sets and degrees
03D99: Computability and recursion theory
03D03: Thue and Post systems, etc.
Related Items
System function languages, European Meeting of the Association for Symbolic Logic, Bristol, England, 1973, Representation of one-one degrees by decision problems for system functions, Diem-Grade Logischer Entscheidungsprobleme, INPUT/OUTPUT CODINGS AND TRANSITION FUNCTIONS IN EFFECTIVE SYSTEMS
Cites Work