شماره ركورد
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
نويسنده