کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
422259 | 685057 | 2016 | 17 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Normalization of N-Graphs via Sub-N-Graphs
ترجمه فارسی عنوان
عادی سازی نمودارهای N از طریق نمودارهای N فرعی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
نمودارهای N ؛ عادی سازی؛ نمودارهای هدایت شده؛ نسخه برداری
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Alves presented in his PhD thesis a normalization procedure for N-Graphs, a multiple conclusion natural deduction for propositional classical logic proposed by de Oliveira in 2001, with proofs as directed graphs. Here we develop a new normalization for N-Graphs inspired by A. Carbones work in 1999, where she proposed a combinatorial model to study the evolution of proofs during the procedure of cut elimination.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 323, 11 July 2016, Pages 3–19
Journal: Electronic Notes in Theoretical Computer Science - Volume 323, 11 July 2016, Pages 3–19
نویسندگان
Laís Andrade, Ruan Carvalho, Anjolina de Oliveira, Ruy de Queiroz,