SYSTEM FUNCTIONS AND THEIR DECISION PROBLEMS

DOI10.1002/MALQ.19840300703zbMATH Open0578.03025OpenAlexW2033769968MaRDI QIDQ3699682FDOQ3699682

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

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

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)

Cited In (4)

• Representation of One-One Degrees byn-Cylindrical Decision Problems
• 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

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)