Keywords: منطق دوم مرتبه; Regular languages; Context-free languages; Input-driven languages; Visibly pushdown languages; Operator-precedence languages; Monadic second order logic; Closure properties; Decidability and automatic verification;
مقالات ISI منطق دوم مرتبه (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق دوم مرتبه; Higher-order model checking; Simply typed lambda-calculus; Monadic second order logic; Krivine machine; Parity games
A representation theorem for (q-)holonomic sequences
Keywords: منطق دوم مرتبه; Holonomic sequences; q-Holonomic sequences; Positional weights on words; Regular languages; Monadic Second Order Logic
Rabin's theorem in the concurrency setting: A conjecture
Keywords: منطق دوم مرتبه; Rabin's theorem; Monadic second order logic; Event structure; Petri net; Grid-free