Keywords: معناشناسی جبری; Algebraic semantics; Context-sensitive rewriting; Formal reasoning; Programming languages;
مقالات ISI معناشناسی جبری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
Keywords: معناشناسی جبری; PTSC; Operational semantics; Algebraic semantics; Semantic linking; Head normal form; Animation
Choice inclusive general rough semantics
Keywords: معناشناسی جبری; Choice functions; Tolerance approximation spaces; Granular rough semantics; Algebraic semantics; Rough Y-Systems ‘a priori’ granules; Knowledge; Beliefs with ontology; Local clear discernibility; Axiomatic theory of granules
On the structure of paraconsistent extensions of Johansson's logic
Keywords: معناشناسی جبری; Minimal logic; Paraconsistent logic; Algebraic semantics; j-algebra; Kripke semantics;
Mathematical fuzzy logic as a tool for the treatment of vague information
Keywords: معناشناسی جبری; Mathematical fuzzy logic; Algebraic semantics; Continuous t-norms; Left-continuous t-norms; Pavelka-style fuzzy logic; Fuzzy set theory; Non-monotonic fuzzy reasoning;
A theory of computation based on quantum logic (I)
Keywords: معناشناسی جبری; Quantum logic; Orthomodular lattice; Algebraic semantics; Finite automata; Regular languages; Quantum computation;