کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904317 1633422 2018 33 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Direct twisted Galois stratification
ترجمه فارسی عنوان
تقسیم مستقیم گالویز پیچ خورده
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 1, January 2018, Pages 21-53
نویسندگان
,