Abstract
The aim of the present paper is a comparative study of the computational power of the logic programs and search computability [1].
Research partially supported by the Ministry of Culture, Science and Education, Contract # 933, 1988
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Y. N. Moschovakis, Abstract first order computability I, Trans. Amer. Math. Soc., 138 (1969), pp. 427–464.
R. Fraisse, Une notion de recursivite relative, in: “Infinistic methods”, Proceedings of the symposium of mathematics, Warsaw, 1959, Peroamon Press, (1961), pp. 323–328.
I. N. Soskov, Definability via enumerations, J. Symb., Logic (to appear).
Y. N. Moschovakis, Abstract computability and invariant definability, J. Symb. Logic, 34:4, (1969).
M. C. Fitting. “Fundamentals of Generalized Recursion Theory”, North-Holland, Amsterdam, (1981).
D. Lacombe, Recursion theoretic structures for relational systems, in: “Logic Colloquium’69”, R. O. Gandy, C. M. E. Yates. eds., North-Holland, Amsterdam, (1971).
H. Rogers, Jr., “Theory of recursive functions and effective computability”, McGraw-Hill Book Company, (1967).
J. R. Shoenfield, “Mathematical Logic”. Addison-Wesley Pub. Comp., (1967).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Plenum Press, New York
About this chapter
Cite this chapter
Soskov, I.N. (1990). On the Computational Power of the Logic Programs. In: Petkov, P.P. (eds) Mathematical Logic. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-0609-2_10
Download citation
DOI: https://doi.org/10.1007/978-1-4613-0609-2_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-7890-0
Online ISBN: 978-1-4613-0609-2
eBook Packages: Springer Book Archive