keyword Bounded Arithmetic / (1 Article)
- Sort by
- Date
-
1.
Writer : علم، ابوالفضل ؛ Corresponding Author : منیری، مرتضی ؛
Journal:منطق پژوهی»پاییز و زمستان 1400، سال دوازدهم - شماره 2 ، ب (Ministry of Science/ISC (17 page(s) - From 195 to 211 )
Keywords:حساب محدودفرمول محدودمدل کامل محدودمدل همراه محدودحذف سور محدودBounded ArithmeticBounded formulaBounded model completeBounded model companionBounded quantifier eliminationمدلمحـدودنظریة مدلنظریهPVفرمولNP
| Journal (Article count) |
|---|
| Journal منطق پژوهی 1 |
Related keywords
Article publication trend
Scientific rank
- ب (1 Article)