Combinatorial systems. I: Cylindrical problems

DOI10.1016/S0022-0000(72)80005-9zbMath0256.02018OpenAlexW2038363539MaRDI QIDQ2558862

J. P. Cleave

Publication date: 1972

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(72)80005-9

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory (03D99) Thue and Post systems, etc. (03D03)

Related Items (5)

System function languages ⋮ Diem-Grade Logischer Entscheidungsprobleme ⋮ INPUT/OUTPUT CODINGS AND TRANSITION FUNCTIONS IN EFFECTIVE SYSTEMS ⋮ Representation of one-one degrees by decision problems for system functions ⋮ European Meeting of the Association for Symbolic Logic, Bristol, England, 1973

Cites Work

• Unnamed Item
• Unnamed Item
• Recursive digraphs, splinters and cylinders
• Machine Configuration and Word Problems of Given Degree of Unsolvability
• Linear orderings under one-one reducibility
• The equivalence of some general combinatorial decision problems

This page was built for publication: Combinatorial systems. I: Cylindrical problems