Keywords: نظام بازنویسی دوره; Term rewriting systems; Post Correspondence Problem; Theory of computation;
مقالات ISI نظام بازنویسی دوره (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: نظام بازنویسی دوره; 68Q42; 03D03; 03D40; Term rewriting systems; Semi-Thue systems; Regularity preservation; Accessibility problem;
Keywords: نظام بازنویسی دوره; 16W99; 13P10; 16S15; 12H05; 08A70; 16S20; 16R99Rota's Classification Problem; Linear operators; Operator identities; Gröbner–Shirshov bases; Term rewriting systems; Normal forms; Free objects
Keywords: نظام بازنویسی دوره; Implicit computational complexity; Term rewriting systems; Type systems; Lambda-calculus
Vicious Circles in Orthogonal Term Rewriting Systems
Keywords: نظام بازنویسی دوره; Term rewriting systems; cyclic reductions; normalization; functional programming;
An Algebraic Baseline for Automatic Transformations in MDA
Keywords: نظام بازنویسی دوره; Graph-based models; MDA and model transformation; consistency and co-evolution; term rewriting systems;