Keywords: زاغه; Coalgebra; Hybrid automata; Bisimulation; Regular expression;
مقالات ISI زاغه (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: زاغه; Logic programming; Coalgebra; Coinductive derivation tree; Lawvere theories; Lax transformations; Saturation;
Keywords: زاغه; minimization; automata; coalgebra;
Keywords: زاغه; Coalgebra; Relation lifting; Bisimulation; Coalgebraic logic;
Keywords: زاغه; Structural congruence; Coalgebra; Structural operational semantics;
Keywords: زاغه; Program verification; Program logic; Precondition calculus; Nondeterminism; Game; Effect; Algebra; Coalgebra; Categorical model; Monad
Keywords: زاغه; Coalgebra; Bisimulation; Sequential composition; Dedekind categories
Keywords: زاغه; Non-deterministic automaton; Formal language; Coalgebra; Bisimilarity; Final automaton
Keywords: زاغه; Automata; Languages; Algebra; Coalgebra
Computational tools for topological coHochschild homology
Keywords: زاغه; primary; 19D55; 16T15; secondary; 16E40; 55U35; 55P43; Topological Hochschild homology; Coalgebra; Hochschild-Kostant-Rosenberg;
Trace semantics via determinization
Keywords: زاغه; Coalgebra; Kleisli category; Eilenberg–Moore category; Trace semantics
Lax extensions of coalgebra functors and their logic
Keywords: زاغه; Coalgebra; Relation lifting; Bisimilarity; Coalgebraic modal logic; Cover modality; Predicate lifting
Proof systems for Moss' coalgebraic logic
Keywords: زاغه; Modal logic; Coalgebraic logic; Sequent system; Coalgebra; Cover modality; Gentzen calculus; Completeness
The coalgebra structure of the cohomology of multiplicative fibrations
Keywords: زاغه; 57T25; 57T10; 57T05; 16T05; 16T15; 55T10; 55P45; 55P35; 55P20H-space; Hopf algebras; Steenrod algebra; Eilenberg–MacLane space; Coalgebra; H-deviation
Understanding the infinite II: Coalgebra
Keywords: زاغه; Philosophy; Mathematics; Category theory; Coalgebra; Infinite
Probabilistic systems coalgebraically: A survey
Keywords: زاغه; Probabilistic systems; Coalgebra; Markov chains; Markov processes;
Maximal traces and path-based coalgebraic temporal logics
Keywords: زاغه; Coalgebra; Trace semantics; Computation path; Temporal logic; Non-determinism; Probability;
Coalgebraic semantics of modal logics: An overview
Keywords: زاغه; Coalgebra; Modal logic;
Bialgebras for structural operational semantics: An introduction
Keywords: زاغه; Structural operational semantics; Coalgebra; Bialgebra;
Rational Unification in 28 Characters
Keywords: زاغه; synchronising graphs; synchronized hyperedge replacement; graph rewriting; unification; rational equations; regular trees; coalgebra;
Weak Bisimulation for Action-Type Coalgebras
Keywords: زاغه; coalgebra; bisimulation; weak bisimulation; labeled transition system; generative probabilistic transition system;
Iterative Algebras for a Base
Keywords: زاغه; free iterative theory; rational monad; coalgebra;
A tutorial on coinductive stream calculus and signal flow graphs
Keywords: زاغه; 68Q10; 68Q55; 65A85; Streams; Coinduction; Coalgebra; Signal flow graphs;
Completely iterative algebras and completely iterative monads
Keywords: زاغه; Completely iterative algebra; Coalgebra; Completely iterative theory; Monad;