Graduate studies at Western
Journal of Symbolic Logic 66 (1):357-382 (2001)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Xinyan Jiang (2007). Courage and Self-Control. The Proceedings of the Twenty-First World Congress of Philosophy 1:59-64.
Jason Stansbury & Bruce Barry (2007). Ethics Programs and The Paradox of Control. Business Ethics Quarterly 17 (2):239-261.
Su Gao (1998). On Automorphism Groups of Countable Structures. Journal of Symbolic Logic 63 (3):891-896.
Michael Esfeld (2009). The Modal Nature of Structures in Ontic Structural Realism. International Studies in the Philosophy of Science 23 (2):179 – 194.
Giangiacomo Gerla (2005). Fuzzy Logic Programming and Fuzzy Control. Studia Logica 79 (2):231 - 254.
Paul E. Tibbetts (2004). The Concept of Voluntary Motor Control in the Recent Neuroscientific Literature. Synthese 141 (2):247-76.
Mike Ainsworth (1993). Abpl. Acta Biotheoretica 41 (1-2).
Steven R. Salbu (1993). Corporate Social Responsiveness: Choosing Between Hierarchical and Contractual Control. [REVIEW] Journal of Business Ethics 12 (1):27 - 35.
Added to index2009-01-28
Total downloads3 ( #213,863 of 739,656 )
Recent downloads (6 months)0
How can I increase my downloads?