Regressive isols and the relation ya≤ybBARBACK, J.Journal of the London Mathematical Society. 1990, Vol 41, Num 1, pp 1-9, issn 0024-6107, 9 p.Article

Techniques of admissible recursion theoryCHONG, C. T.Lecture notes in mathematics. 1984, Vol 1106, issn 0075-8434, IX-214 pSerial Issue

Tabular degrees in α-recursion theoryBAILEY, C; DOWNEY, R.Annals of pure and applied logic. 1992, Vol 55, Num 3, pp 205-236, issn 0168-0072Article

A 1-generic degree which bounds a minimal degreeKUMABE, M.The Journal of symbolic logic. 1990, Vol 55, Num 2, pp 733-743, issn 0022-4812, 11 p.Article

Recursive surreal numbersHARKLEROAD, L.Notre Dame journal of formal logic. 1990, Vol 31, Num 3, pp 337-345, issn 0029-4527, 9 p.Article

Churchs thesis without tearsRICHMAN, F.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 797-803, issn 0022-4812Article

Reduction of higher type levels by means of an ordinal analysis of finite termsTERLOUW, J.Annals of pure and applied logic. 1985, Vol 28, Num 1, pp 73-102, issn 0168-0072Article

Some recent developments in higher recursion theoryFRIEDMAN, S. D.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 629-642, issn 0022-4812Article

Programmation = ProgrammingROBINET, Bernard.Techniques de l'ingénieur. Informatique. 1998, Vol HB3, Num H3008, pp H3008.1-H3008.6, issn 0245-9612Article

Iterated images on manifoldsHARKLEROAD, L.Notre Dame journal of formal logic. 1986, Vol 27, Num 1, pp 89-92, issn 0029-4527Article

Effective discontinuity and a characterisation of the superjumpHARTLEY, J. P.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 349-358, issn 0022-4812Article

Priority arguments in the continuous r.e. degreesTHOMPSON, S.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 661-667, issn 0022-4812Article

Set recursion and π₂¹-logicGIRARD, J.-Y; NORMANN, D.Annals of pure and applied logic. 1985, Vol 28, Num 3, pp 255-286, issn 0168-0072Article

A theory of recursive dimension for ordered setsKIERSTEAD, H. A; MCNULTY, G. F; TROTTER, W. T. JR et al.Order (Dordrecht). 1984, Vol 1, Num 1, pp 67-82, issn 0167-8094Article

Degrees of types and independent sequencesKNIGHT, J. F.The Journal of symbolic logic. 1973, Vol 48, Num 4, pp 1074-1081, issn 0022-4812Article

Reflection and forcing in E-recursion theorySLAMAN, T. A; ROGERS, H. JR.Annals of pure and applied logic. 1985, Vol 29, Num 1, pp 79-106, issn 0168-0072Article

An algebraic decomposition the recursively enumerable degress and the coincidence of several degree classes with the promptly simple degreesAMBOS-SPIES, K; JOCKUSCH, C. G. JR; SHORE, R. A et al.Transactions of the American Mathematical Society. 1984, Vol 281, Num 1, pp 109-128, issn 0002-9947Article

Recursive automorphisms of recursive linear orderingsSCHWARZ, S.Annals of pure and applied logic. 1984, Vol 26, Num 1, pp 69-73, issn 0168-0072Article

Closure properties of almost-finiteness classes in recursive function theoryROLLETSCHEK, H.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 756-763, issn 0022-4812Article

Discontinuities of provably correct operators on the provably recursive real numbersCOLLINS, W. J; YOUNG, P.The Journal of symbolic logic. 1983, Vol 48, Num 4, pp 913-920, issn 0022-4812Article

SCHUR RECURSIONS, ERROR FORMULAS, AND CONVERGENCE OF RATIONAL ESTIMATORS FOR STATIONARY STOCHASTIC SEQUENCESDEWILDE P; DYM H.1981; IEEE TRANS. INF. THEORY; ISSN 0018-9448; USA; DA. 1981; VOL. 27; NO 4; PP. 446-461; BIBL. 22 REF.Article

Circular programs and self-referential structuresALLISON, L.Software, practice & experience. 1989, Vol 19, Num 2, pp 99-109, issn 0038-0644Article

Computability of physical operationsPOSIEWNIK, A.International journal of theoretical physics. 1988, Vol 27, Num 1, pp 83-88, issn 0020-7748Article

A recursive model for arithmetic with weak inductionADAMOWICZ, Z; MORALES-LUNA, G.The Journal of symbolic logic. 1985, Vol 50, Num 1, pp 49-54, issn 0022-4812Article

Bounded existential inductionWILMERS, G.The Journal of symbolic logic. 1985, Vol 50, Num 1, pp 72-90, issn 0022-4812Article