نتایج جستجو برای: substitutions

تعداد نتایج: 17766  

Journal: :CoRR 2010
Fabien Durand

The seminal theorem of Cobham has given rise during the last 40 years to a lot of works around non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a complete and general version for the so-called substitutive sequences. Let α and β be two multiplicatively independent Perron numbers. Then, a sequence x ∈ A...

متن کامل
Journal: :Linear Algebra and its Applications 2011

متن کامل
Journal: :Ergodic Theory and Dynamical Systems 2016

متن کامل
ژورنال: پژوهش فیزیک ایران 2008
آنا خواجه نژاد, , حنیف هادی‌پور, , محمد اخوان, , ندا نیک‌سرشت, ,

 We have compared the structural, electrical, and magnetic properties of Ru(Gd1.5-xPrx)Ce0.5Sr2Cu2O10-δ (Pr/Gd samples) with x = 0.0, 0.01, 0.03, 0.033, 0.035, 0.04, 0.05, 0.06, 0.1 and RuGd1.5(Ce0.5-xPrx)Sr2Cu2O10-δ (Pr/Ce samples) with x = 0.0, 0.01, 0.03, 0.05, 0.08, 0.1, 0.15, 0.2 prepared by the standard solid-state reaction technique with RuGd1.5(GdxCe0.5-x) Sr2Cu2O10-δ (Gd/Ce samples) wi...

متن کامل
1992
Kristoffer Høgsbro Rose

In this paper we consider rewrite systems that describe the-calculus enriched with recursive and non-recursive local deenitions by generalizing thèexplicit substitutions' used by Abadi, Cardelli, Curien, and L evy 1] to describe sharing in-terms. This leads tòexplicit cyclic substitutions' that can describe the mutual sharing of local recursive deenitions. We demonstrate how this may be used to...

متن کامل
2009
Thomas Fernique

متن کامل
Journal: :Theoretical Computer Science 1986

متن کامل
Journal: :Theoretical Computer Science 2007

متن کامل
Journal: :Acta Mathematica 1939

متن کامل
Journal: :Proceedings of the National Academy of Sciences 1989

متن کامل

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید