Journal of Symbolic Logic 66 (1):357-382 (2001)
Acceptable programming systems have many nice properties like s-m-n-Theorem, Composition and Kleene Recursion Theorem. Those properties are sometimes called control structures, to emphasize that they yield tools to implement programs in programming systems. It has been studied, among others by Riccardi and Royer, how these control structures influence or even characterize the notion of acceptable programming system. The following is an investigation, how these control structures behave in the more general setting of complete numberings as defined by Mal'cev and Eršov
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Inductive Inference and Computable One-One Numberings.Rsinš Freivalds, Efim B. Kinber & Rolf Wiehagen - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):463-479.
Inductive Inference and Computable One‐One Numberings.Rsinš Freivalds, Efim B. Kinber & Rolf Wiehagen - 1982 - Mathematical Logic Quarterly 28 (27‐32):463-479.
Citations of this work BETA
No citations found.
Similar books and articles
Courage and Self-Control.Xinyan Jiang - 2007 - The Proceedings of the Twenty-First World Congress of Philosophy 1:59-64.
Ethics Programs and The Paradox of Control.Jason Stansbury & Bruce Barry - 2007 - Business Ethics Quarterly 17 (2):239-261.
On Automorphism Groups of Countable Structures.Su Gao - 1998 - Journal of Symbolic Logic 63 (3):891-896.
The Modal Nature of Structures in Ontic Structural Realism.Michael Esfeld - 2009 - International Studies in the Philosophy of Science 23 (2):179 – 194.
Computability Theory, Semantics, and Logic Programming.Melvin Fitting - 1987 - Clarendon Press.
The Concept of Voluntary Motor Control in the Recent Neuroscientific Literature.Paul E. Tibbetts - 2004 - Synthese 141 (2):247-76.
Corporate Social Responsiveness: Choosing Between Hierarchical and Contractual Control. [REVIEW]Steven R. Salbu - 1993 - Journal of Business Ethics 12 (1):27 - 35.
Added to index2009-01-28
Total downloads10 ( #427,468 of 2,158,890 )
Recent downloads (6 months)1 ( #353,777 of 2,158,890 )
How can I increase my downloads?