نتایج جستجو برای: coupled recursion
تعداد نتایج: 229433 فیلتر نتایج به سال:
Journal:
:Bulletin of the American Mathematical Society
1961
Journal:
:Journal of Computer and System Sciences
2019
Journal:
:J. Symb. Comput.
1986
Lawrence C. Paulson
Martin-Löf’s Intuitionistic Theory of Types is becoming popular for formal reasoning about computer programs. To handle recursion schemes other than primitive recursion, a theory of well-founded relations is presented. Using primitive recursion over higher types, induction and recursion are formally derived for a large class of well-founded relations. Included are < on natural numbers, and rela...
Journal:
:Journal of Geometry and Physics
2000
Journal:
:International Journal of Mathematics and Mathematical Sciences
2004
Journal:
:Journal of Physics A: Mathematical and Theoretical
2015
Journal:
:Journal de l’École polytechnique — Mathématiques
2017
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید