کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661978 1633496 2011 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A recursion-theoretic approach to NP
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
A recursion-theoretic approach to NP
چکیده انگلیسی

An implicit characterization of the class is given, without using any minimization scheme. This is the first purely recursion-theoretic formulation of .

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 162, Issue 8, August 2011, Pages 661-666