Reducibility Relationships Between Decision Problems for System Functions

DOI10.1002/MALQ.19870330404zbMath0647.03036OpenAlexW2128654575MaRDI QIDQ3791141

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)

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