Reducibility Relationships Between Decision Problems for System Functions

DOI10.1002/MALQ.19870330404MaRDI QIDQ3791141zbMATH OpenOpenAlexFDO

Authors M. B. Thuraisingham

Publication date 1987

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

reducibilitydecision problemssystem functionsinverse machine functionsinverse special derivability problemspecial confluence problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• SYSTEM FUNCTIONS AND THEIR DECISION PROBLEMS
• Systems of reductions
• A Further Investigation to Relative Reducts of Decision Information Systems
• Attribute reduction of decision systems based on general relations
• Topological reduction approaches for relation decision systems
• Optimal reductions in interaction systems
• Decomposition of choice functions into a system of simpler functions
• Reduction rules for resolution-based systems
• Parameterized local reduction of decision systems

Cited in

(3)

• Representation of One-One Degrees byn-Cylindrical Decision Problems
• SYSTEM FUNCTIONS AND THEIR DECISION PROBLEMS
• A Further Investigation to Relative Reducts of Decision Information Systems

This page was built for publication: Reducibility Relationships Between Decision Problems for System Functions

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