Keywords: جبری ارتباطی; Formal methods; Kleene algebras; Relation algebras; Stone algebras; Total correctness; Weighted graphs;
مقالات ISI جبری ارتباطی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: جبری ارتباطی; 03G27; 03B25; 03G15; 03B60; Abstract algebraic logic; Leibniz hierarchy; Frege hierarchy Leibniz congruence; Decidability; Diophantine equations; Relation algebras;
Cryptomorphic topological structures: A computational, relation-algebraic approach
Keywords: جبری ارتباطی; Relation algebras; Calculus of relations; Topological space; Aumann contact;