Journal articles on the topic 'Primitive recursive'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Primitive recursive.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Severin, Daniel E. "Unary primitive recursive functions." Journal of Symbolic Logic 73, no. 4 (2008): 1122–38. http://dx.doi.org/10.2178/jsl/1230396909.
Full textUrzyczyn, Pawel. "Primitive Recursion with Existential Types1." Fundamenta Informaticae 19, no. 1-2 (1993): 201–22. http://dx.doi.org/10.3233/fi-1993-191-209.
Full textKalimullin, I. Sh, and A. G. Melnikov. "Punctual Categoricity Relative to a Computable Oracle." Lobachevskii Journal of Mathematics 42, no. 4 (2021): 735–42. http://dx.doi.org/10.1134/s1995080221040107.
Full textChen, Qingliang, Kaile Su, and Xizhong Zheng. "Primitive recursive real numbers." MLQ 53, no. 4-5 (2007): 365–80. http://dx.doi.org/10.1002/malq.200710005.
Full textColson, Loïc. "About primitive recursive algorithms." Theoretical Computer Science 83, no. 1 (1991): 57–69. http://dx.doi.org/10.1016/0304-3975(91)90039-5.
Full textKOHLENBACH, ULRICH. "A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM." Communications in Contemporary Mathematics 14, no. 01 (2012): 1250006. http://dx.doi.org/10.1142/s021919971250006x.
Full textKalimullin, I. Sh, and R. Miller. "Primitive recursive fields and categoricity." Algebra i logika 58, no. 1 (2019): 132–38. http://dx.doi.org/10.33048/alglog.2019.58.108.
Full textDamnjanovic, Zlatan. "Strictly primitive recursive realizability, I." Journal of Symbolic Logic 59, no. 4 (1994): 1210–27. http://dx.doi.org/10.2307/2275700.
Full textKalimullin, I. Sh, and R. Miller. "Primitive Recursive Fields and Categoricity." Algebra and Logic 58, no. 1 (2019): 95–99. http://dx.doi.org/10.1007/s10469-019-09527-1.
Full textHasan, Sartaj Ul, Daniel Panario, and Qiang Wang. "Nonlinear vectorial primitive recursive sequences." Cryptography and Communications 10, no. 6 (2017): 1075–90. http://dx.doi.org/10.1007/s12095-017-0265-2.
Full textMeinke, Karl. "A recursive second order initial algebra specification of primitive recursion." Acta Informatica 31, no. 4 (1994): 329–40. http://dx.doi.org/10.1007/bf01178510.
Full textLeivant, Daniel. "Finitism, imperative programs and primitive recursion." Journal of Logic and Computation 31, no. 1 (2021): 179–92. http://dx.doi.org/10.1093/logcom/exaa076.
Full textPaolini, Luca, Mauro Piccolo, and Luca Roversi. "A class of Recursive Permutations which is Primitive Recursive complete." Theoretical Computer Science 813 (April 2020): 218–33. http://dx.doi.org/10.1016/j.tcs.2019.11.029.
Full textKonovalov, A. Yu. "Arithmetical realizability and primitive recursive realizability." Moscow University Mathematics Bulletin 71, no. 4 (2016): 166–69. http://dx.doi.org/10.3103/s0027132216040069.
Full textDavid, R. "Decidability results for primitive recursive algorithms." Theoretical Computer Science 300, no. 1-3 (2003): 477–504. http://dx.doi.org/10.1016/s0304-3975(02)00732-6.
Full textKościelski, Antoni, and Leszek Pacholski. "Makanin's algorithm is not primitive recursive." Theoretical Computer Science 191, no. 1-2 (1998): 145–56. http://dx.doi.org/10.1016/s0304-3975(96)00321-0.
Full textKÜNZI, URS-MARTIN. "Logic Programs for Primitive Recursive Sets." Journal of Logic and Computation 3, no. 4 (1993): 401–15. http://dx.doi.org/10.1093/logcom/3.4.401.
Full textJacobsson, Carl, and Viggo Stoltenberg-Hansen. "Poincaré-Betti Series are Primitive Recursive." Journal of the London Mathematical Society s2-31, no. 1 (1985): 1–9. http://dx.doi.org/10.1112/jlms/s2-31.1.1.
Full textSimmons, H. "The Ackermann functions are not optimal, but by how much?" Journal of Symbolic Logic 75, no. 1 (2010): 289–313. http://dx.doi.org/10.2178/jsl/1264433922.
Full textDamnjanovic, Zlatan. "Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive $\omega$-Rule." Notre Dame Journal of Formal Logic 39, no. 3 (1998): 363–88. http://dx.doi.org/10.1305/ndjfl/1039182252.
Full textWeiermann, Andreas. "How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study." Journal of Symbolic Logic 63, no. 4 (1998): 1348–70. http://dx.doi.org/10.2307/2586654.
Full textAndary, Philippe, Bruno Patrou, and Pierre Valarcher. "A Representation Theorem for Primitive Recursive Algorithms." Fundamenta Informaticae 107, no. 4 (2011): 313–30. http://dx.doi.org/10.3233/fi-2011-405.
Full textGeorgiev, Ivan. "Continued fractions of primitive recursive real numbers." Mathematical Logic Quarterly 61, no. 4-5 (2015): 288–306. http://dx.doi.org/10.1002/malq.201400013.
Full textFrittaion, Emanuele. "Completeness of the primitive recursive $$\omega $$-rule." Archive for Mathematical Logic 59, no. 5-6 (2020): 715–31. http://dx.doi.org/10.1007/s00153-020-00716-9.
Full textPaolini, Luca, Mauro Piccolo, and Luca Roversi. "A Class of Reversible Primitive Recursive Functions." Electronic Notes in Theoretical Computer Science 322 (April 2016): 227–42. http://dx.doi.org/10.1016/j.entcs.2016.03.016.
Full textGrigorieff, Serge. "Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n))." Journal of Symbolic Logic 55, no. 1 (1990): 260–76. http://dx.doi.org/10.2307/2274966.
Full textJARDEN, MOSHE, and ALEXANDRA SHLAPENTOKH. "DECIDABLE ALGEBRAIC FIELDS." Journal of Symbolic Logic 82, no. 2 (2017): 474–88. http://dx.doi.org/10.1017/jsl.2017.10.
Full textDavid, René. "On the asymptotic behaviour of primitive recursive algorithms." Theoretical Computer Science 266, no. 1-2 (2001): 159–93. http://dx.doi.org/10.1016/s0304-3975(00)00165-1.
Full textZaslavsky, I. D. "On some generalizations of the primitive recursive arithmetic." Theoretical Computer Science 322, no. 1 (2004): 221–30. http://dx.doi.org/10.1016/j.tcs.2004.03.067.
Full textAlaev, P. E. "Categoricity for Primitive Recursive and Polynomial Boolean Algebras." Algebra and Logic 57, no. 4 (2018): 251–74. http://dx.doi.org/10.1007/s10469-018-9498-1.
Full textCichon, E. A., and A. Weiermann. "Term rewriting theory for the primitive recursive functions." Annals of Pure and Applied Logic 83, no. 3 (1997): 199–223. http://dx.doi.org/10.1016/s0168-0072(96)00015-2.
Full textValarcher, P. "A complete characterization of primitive recursive intensional behaviours." RAIRO - Theoretical Informatics and Applications 42, no. 1 (2008): 69–82. http://dx.doi.org/10.1051/ita:2007053.
Full textShelah, Saharon. "Primitive recursive bounds for van der Waerden numbers." Journal of the American Mathematical Society 1, no. 3 (1988): 683. http://dx.doi.org/10.1090/s0894-0347-1988-0929498-x.
Full textMazzanti, Stefano. "Plain Bases for Classes of Primitive Recursive Functions." MLQ 48, no. 1 (2002): 93–104. http://dx.doi.org/10.1002/1521-3870(200201)48:1<93::aid-malq93>3.0.co;2-8.
Full textSzalkai, István. "On the Algebraic Structure of Primitive Recursive Functions." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 31, no. 35-36 (1985): 551–56. http://dx.doi.org/10.1002/malq.19850313503.
Full textSchwartz, Daniel G. "A Free-Variable Theory of Primitive Recursive Arithmetic." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 33, no. 2 (1987): 147–57. http://dx.doi.org/10.1002/malq.19870330210.
Full textLevitz, Hilbert, Warren Nichols, and Robert F. Smith. "A Macro Program for the Primitive Recursive Functions." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 37, no. 8 (1991): 121–24. http://dx.doi.org/10.1002/malq.19910370803.
Full textSEMIGRODSKIKH, A. P. "On Closed Classes of Primitive Recursive Functions, II." Multiple-Valued Logic 8, no. 2 (2002): 183–91. http://dx.doi.org/10.1080/10236620215292.
Full textDeutsch, M., and M. Luban. "The primitive function for slit-height desmearing in SAXS." Journal of Applied Crystallography 20, no. 3 (1987): 179–81. http://dx.doi.org/10.1107/s0021889887086874.
Full textLeivant, Daniel, and Jean-Yves Marion. "Primitive recursion in the abstract." Mathematical Structures in Computer Science 30, no. 1 (2020): 33–43. http://dx.doi.org/10.1017/s0960129519000112.
Full textRiis, Søren. "Bootstrapping the primitive recursive functions by only 27 colors." Discrete Mathematics 169, no. 1-3 (1997): 269–72. http://dx.doi.org/10.1016/s0012-365x(97)87041-0.
Full textMatos, Armando B. "The efficiency of primitive recursive functions: A programmer's view." Theoretical Computer Science 594 (August 2015): 65–81. http://dx.doi.org/10.1016/j.tcs.2015.04.022.
Full textSprenger, Klaus-Hilmar. "Some Hierarchies of Primitive Recursive Functions on Term Algebras." Mathematical Logic Quarterly 43, no. 2 (1997): 251–86. http://dx.doi.org/10.1002/malq.19970430208.
Full textGoerdt, Andreas. "Characterizing complexity classes by higher type primitive recursive definitions." Theoretical Computer Science 100, no. 1 (1992): 45–66. http://dx.doi.org/10.1016/0304-3975(92)90363-k.
Full textLópez-Escobar, E. G. K. "König's lemma, the ω-Rule and primitive recursive arithmetic". Archiv für Mathematische Logik und Grundlagenforschung 25, № 1 (1985): 67–74. http://dx.doi.org/10.1007/bf02007557.
Full textLambek, Joachim, and Philip Scott. "An Exactification of the Monoid of Primitive Recursive Functions." Studia Logica 81, no. 1 (2005): 1–18. http://dx.doi.org/10.1007/s11225-005-2765-x.
Full textIsles, David. "First-Order Reasoning and Primitive Recursive Natural Number Notations." Studia Logica 96, no. 1 (2010): 49–64. http://dx.doi.org/10.1007/s11225-010-9272-4.
Full textFouché, W. L., L. M. Pretorius, and C. J. Swanepoel. "Ramsey degrees of bipartite graphs: A primitive recursive proof." Discrete Mathematics 293, no. 1-3 (2005): 111–19. http://dx.doi.org/10.1016/j.disc.2004.08.035.
Full textDANNER, NORMAN, and DANIEL LEIVANT. "Stratified polymorphism and primitive recursion." Mathematical Structures in Computer Science 9, no. 4 (1999): 507–22. http://dx.doi.org/10.1017/s0960129599002868.
Full textKotlarski, Henryk. "An addition to Rosser's theorem." Journal of Symbolic Logic 61, no. 1 (1996): 285–92. http://dx.doi.org/10.2307/2275611.
Full text