• شماره ركورد
    5001
  • شماره راهنما
    COM2 110
  • عنوان

    وارسي ويژگي هاي حياتي در سيستم هاي بازنويسي عبارات

  • مقطع تحصيلي
    كارشناسي ارشد
  • دانشكده
    دانشكده فني و مهندسي، گروه كامپيوتر
  • تاريخ دفاع
    شهريور 1387
  • استاد راهنما
    بهروز ترك لاداني
  • كليدواژه فارسي
    مهندسي كامپيوتر (هوش مصنوعي) , 1387 , ويژگي حياتي , سيستم بازنويسي عبارات , وارسي , ويژگي حياتي مركب , ماشين متناهي درختي , پايان پذيري
  • نام نمايه ساز
    khorasani^d2009/01/24 09:33:54 , mokhtarian^d2009/01/31 11:08:00
  • كليدواژه لاتين
    سيستم پويا livness properties , term rewrite systems , verification , compesile liveness properties , finite tree automate , termination , dynamic system
  • عنوان لاتين
    Veriffication of liveness properties in term rewriting systems
  • نويسنده

    موسي زاده، موسي

    • لينک به اين مدرک
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=5001&Field=0&DTC=3