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