SYSTEM FUNCTIONS AND THEIR DECISION PROBLEMS

DOI10.1002/MALQ.19840300703MaRDI QIDQ3699682zbMATH OpenOpenAlexFDO

Authors M. B. Thuraisingham

Publication date 1984

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19840300703

zbMATH Keywords

cylindersdegreessystem functionscombinatorial decision problemrecursive problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40)

Recommendations

• Reducibility Relationships Between Decision Problems for System Functions
• System function languages
• On decidability of the completeness problem for special systems of automaton functions
• Inductive inference and unsolvability
• Decision problems and recursiveness in formal logic systems

Cited in

(4)

• System approach to the decision making problem
• Reducibility Relationships Between Decision Problems for System Functions
• Representation of one-one degrees by decision problems for system functions
• Representation of One-One Degrees byn-Cylindrical Decision Problems

This page was built for publication: SYSTEM FUNCTIONS AND THEIR DECISION PROBLEMS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3699682)