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
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator
Keywords: 08A70; 03B70; 68Q85; 93E03Applications of universal algebra in computer science; Logic in computer science; Models and methods for concurrent and distributed computing; Stochastic systems, general
Kleisli morphisms and randomized congruences for the Giry monad
Keywords: 18C20; 03B45; 08A70; 18A32; 18B10
Termination orders for three-dimensional rewriting
Keywords: 08A50; 08A70; 16S15; 18C10; 18D05; 68Q70
CCS with Hennessy's merge has no finite-equational axiomatization
Keywords: 08A70; 03B45; 03C05; 68Q10; 68Q45; 68Q55; 68Q70; Concurrency; Process algebra; CCS; Bisimulation; Hennessy's merge; Left merge; Communication merge; Equational logic; Complete axiomatizations; Non-finitely based algebras;
Decomposition orders-another generalisation of the fundamental theorem of arithmetic
Keywords: 06F05; 08A55; 08A70; 11A05; 11A51; 68Q85; Unique decomposition; Decomposition order; Fundamental theorem of arithmetic; Partial commutative monoid; Process algebra; Commutative residual algebra;