keyword Bounded quantifier elimination ‎/ (1 Article)

Sort by
Date

1.

نظریۀ مدل محدود و برخی کاربردهای آن در حساب محدود

Writer : علم، ابوالفضل ؛ Corresponding Author : منیری، مرتضی ؛

Journal:منطق پژوهی»پاییز و زمستان 1400، سال دوازدهم - شماره 2 Ranking ب (Ministry of Science/ISC (‎17 page(s) - From 195 to 211 )
Keywords:حساب محدود فرمول محدود مدل کامل محدود مدل همراه محدود حذف سور محدود Bounded Arithmetic Bounded formula Bounded model complete Bounded model companion Bounded quantifier eliminationمدل محـدود نظریة مدل نظریه PV فرمول NP

Journal Article Download

Related keywords

Article publication trend

Scientific rank

ب ‎ (1 Article)