الشاهين (محمد ميرزا بن عباس وناصر الدين ميرزا) فبدأت الحكومة بإقامة علاقة غريبة مع رجال وعلى الرغم من ان تظاهرت بدعمها للرجال الا انها فشلت في النهاية اقامة معهم، وذلك بسبب تطرف الذين لا يؤمنون بتعاليم الإسلام، وكان الصعوبة التوافق بين ورجال اثر ذلك ظهرت العديد التمردات الدينية ضد الفارسية خلال المدة (١٨٣4-١٨52م) .

In the dependency pair framework for proving termination of rewriting systems, polynomial interpretations are used to transform dependency chains into bounded decreasing sequences of integers, and they play an important role for the success of proving termination, especially for constrained rewriting systems. In this paper, we show sufficient conditions of linear polynomial interpretations for ...