نتایج جستجو برای: extension theorem
تعداد نتایج: 285826 فیلتر نتایج به سال:
Journal:
:Journal of Mathematical Analysis and Applications
2007
Journal:
:Proceedings of the American Mathematical Society
1973
1995
Mizuhito Ogawa
This paper proves the extension of Kruskal-Friedman theorem, which is an extension of the ordinary Kruskal's theorem with gap-condition, on !-trees (Main theorem 1 in section 3). Based on the theorem, a new termination criteria for cyclic term graph rewriting systems, named simple gap termination (Main theorem 2 in section 4), is proposed where the naive extension of simple termination (based o...
Journal:
:European Journal of Combinatorics
2013
Journal:
:Hiroshima Mathematical Journal
2015
Journal:
:Pacific Journal of Mathematics
1963
Journal:
:Linear Algebra and its Applications
1979
Journal:
:Proceedings of the Edinburgh Mathematical Society
1971
Journal:
:Journal of the Mathematical Society of Japan
2000
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید