نتایج جستجو برای: strong convergence
تعداد نتایج: 479055 فیلتر نتایج به سال:
Journal:
:Logical Methods in Computer Science
2010
Stefan Kahrs
Properties of Term Rewriting Systems are called modular iff they are preserved under (and reflected by) disjoint union, i.e. when combining two Term Rewriting Systems with disjoint signatures. Convergence is the property of Infinitary Term Rewriting Systems that all reduction sequences converge to a limit. Strong Convergence requires in addition that redex positions in a reduction sequence move...
Journal:
:Journal of Mathematical Study
2017
Journal:
:Journal of Mathematical Analysis and Applications
2000
Journal:
:Journal of Mathematical Analysis and Applications
2008
Journal:
:Pacific Journal of Mathematics
1960
Journal:
:Journal of Mathematical Analysis and Applications
2012
Journal:
:Canadian Journal of Mathematics
1981
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید