Some Independence Results for Control Structures in Complete Numberings
Jain, Sanjay ; Nessel, Jochen
J. Symbolic Logic, Tome 66 (2001) no. 1, p. 357-382 / Harvested from Project Euclid
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 Ersov.
Publié le : 2001-03-14
Classification: 
@article{1183746376,
     author = {Jain, Sanjay and Nessel, Jochen},
     title = {Some Independence Results for Control Structures in Complete Numberings},
     journal = {J. Symbolic Logic},
     volume = {66},
     number = {1},
     year = {2001},
     pages = { 357-382},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746376}
}
Jain, Sanjay; Nessel, Jochen. Some Independence Results for Control Structures in Complete Numberings. J. Symbolic Logic, Tome 66 (2001) no. 1, pp.  357-382. http://gdmltest.u-ga.fr/item/1183746376/