Keywords: پذیرش پذیری; Computational complexity; Decidability; Formal methods; Program correctness; Term rewriting;
مقالات ISI پذیرش پذیری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: پذیرش پذیری; Fixed points; Rational transductions; Post correspondence problem; Injective PCP; Decidability;
Keywords: پذیرش پذیری; Conjugacy; Finitely presented monoids; Polycyclic monoids; Decision problem; Decidability; Independence; Complexity;
Keywords: پذیرش پذیری; Checking stack automata; Pushdown automata; Decidability; Reversal-bounded counters;
Keywords: پذیرش پذیری; Petri net; Reversibility; Reversible computation; Decidability;
Keywords: پذیرش پذیری; Automata theory; Regular languages; Profinite equations; Kleene star; Decidability;
Keywords: پذیرش پذیری; Well-structured transition systems; Infinite branching; Completion; Decidability; Coverability; Termination;
Keywords: پذیرش پذیری; Cardinality-based feature models; Formal language theory; Decidability; Complexity;
Keywords: پذیرش پذیری; Top-down and MSO tree transducers; Origin; Decidability; Equivalence; Injectivity; Query determinacy;
Keywords: پذیرش پذیری; 03G27; 03B25; 03G15; 03B60; Abstract algebraic logic; Leibniz hierarchy; Frege hierarchy Leibniz congruence; Decidability; Diophantine equations; Relation algebras;
Keywords: پذیرش پذیری; Finite automata; Binary rational relations on integers; Rational series; Hadamard product; Hadamard star; Decidability;
Keywords: پذیرش پذیری; Language operation; Closure properties; Descriptional complexity; Decidability; Chomsky hierarchy;
Keywords: پذیرش پذیری; Modal logics; Many-valued logics; Gödel logics; One-variable fragments; Decidability; Complexity; Finite model property;
Keywords: پذیرش پذیری; 03C65; 03E05; 03E65; 03E70; Simple Type Theory; TST; New foundations; NF; Decidability; Ambiguity;
Keywords: پذیرش پذیری; Splicing systems; Decidability;
Keywords: پذیرش پذیری; Input/output logic; Decidability; Complexity; Deontic logic; Norm-based semantics;
Keywords: پذیرش پذیری; Quasiminimal; Minimal; Subshift; Universality; Decidability;
Keywords: پذیرش پذیری; Regular languages; Context-free languages; Boundary sets; Computational complexity; Decidability; Valid computations
Keywords: پذیرش پذیری; Intuitionistic logic; Modal logic; Tableau system; Decidability; Correspondence theorem;
Keywords: پذیرش پذیری; Hybrid logic; Decidability; Completeness; Tableau systems; Hilbert calculus
Keywords: پذیرش پذیری; Parameterized verification; Timed automata; Ad hoc networks; Graphs; Decidability; Well structured transition systems
Keywords: پذیرش پذیری; Automata and formal languages; Computational complexity; Dot-depth hierarchy; Boolean hierarchy; Decidability; Efficient algorithms;
Keywords: پذیرش پذیری; Structural proof theory; Hypersequents; Modal logic; Hilbert axioms; Cut elimination; Decidability;
Keywords: پذیرش پذیری; Valued fields; Tame fields; Separably tame fields; Ax–Kochen–Ershov; Model completeness; Decidability
Keywords: پذیرش پذیری; Matrix; Recursively enumerable set; Diophantine representation; Rice's theorem; Decidability
Keywords: پذیرش پذیری; Formal methods; Security properties; Opacity; Markov decision processes; Perfect and partial information; Decidability;
Keywords: پذیرش پذیری; Class identity; Decidability; Internal measurement; Observer; Sensorimotor control; Tense; Time
Keywords: پذیرش پذیری; Hybrid systems; Decidability; Planar systems; Piecewise constant derivatives; Bisimulations; Reachability; Verification; Safety
Keywords: پذیرش پذیری; Fuzzy description logics; Triangular norms; Ontology consistency; Decidability
Keywords: پذیرش پذیری; Freeness problem; Matrix semigroup; Morphism semigroup; Decidability
Keywords: پذیرش پذیری; 2008-Mexican-CPG-OA; 2008 Mexican clinical practice guideline for the management of osteoarthritis at the primary level of care; TAO; Technical Aids and Orthotics; COX-2; cyclooxygenase 2; CPG; clinical practice guidelines; dec; decidability; exe; executa
Keywords: پذیرش پذیری; Two-way finite automata; Oblivious computations; Descriptional complexity; Decidability
Keywords: پذیرش پذیری; Involution hypercodes; Decidability; DNA codes; Edit-distance
Keywords: پذیرش پذیری; Nonemptiness; Wang tiles; Decidability; Edge coloring; Periodic patterns; Transition matrix;
Keywords: پذیرش پذیری; Pseudopalindromes; Pseudopalindromic completion; Pseudopalindromic iterated completion; Regular languages; Algorithms; Decidability
Keywords: پذیرش پذیری; Non-uniform cellular automata; Structural stability; Symbolic dynamics; ζ-Rational languages; Decidability
Keywords: پذیرش پذیری; Interval temporal logics; Discrete linear orders; Expressiveness; Decidability; Complexity
Keywords: پذیرش پذیری; Safety-critical systems; Punctuality timing constraints; Temporal logics; Decidability; Tableau systems;
Discrete Watson-Crick dynamical systems
Keywords: پذیرش پذیری; DNA computing; Dynamical system; Watson-Crick D0L system; Decidability;
Adding one or more equivalence relations to the interval temporal logic ABB¯
Keywords: پذیرش پذیری; Interval temporal logic; Equivalence relation; Decidability
On the existence and decidability of unique decompositions of processes in the applied π-calculus
Keywords: پذیرش پذیری; Applied π-calculus; Unique decomposition; Normal form; Weak bisimilarity; Strong bisimilarity; Cancellation; Decidability; Equational theory; Word problem; Process calculus; Behavioral equivalence
The decidability of the intensional fragment of classical linear logic
Keywords: پذیرش پذیری; Cognate sequent; Curry's lemma; Decidability; König's lemma; Kripke's lemma; Linear logic; Modal logic; Relevance logic; Sequent calculus
Exponentially more concise quantum recognition of non-RMM regular languages
Keywords: پذیرش پذیری; Quantum finite automata; Equivalence; Regular languages; Deterministic finite automata; Decidability; State complexity
The description logic SHIQ with a flexible meta-modelling hierarchy
Keywords: پذیرش پذیری; Description logic; Meta-modelling; Meta-concepts; Well founded sets; Consistency; Decidability;
Multi-parameterised compositional verification of safety properties
Keywords: پذیرش پذیری; Parameterised verification; Refinement checking; Concurrency theory; Compositional reasoning; Decidability
The freeness problem over matrix semigroups and bounded languages
Keywords: پذیرش پذیری; Matrix semigroup; Freeness problem; Bounded language; Representation of rational numbers; Decidability
Complexity of two-variable dependence logic and IF-logic
Keywords: پذیرش پذیری; Dependence logic; Independence-friendly logic; Two-variable logic; Decidability; Complexity; Satisfiability; Expressivity
Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues
Keywords: پذیرش پذیری; Cellular automata; Symbolic dynamics; Decidability; Tiling
On the open problem of Ginsburg concerning semilinear sets and related problems
Keywords: پذیرش پذیری; Multitape automata; Synchronizability; Semilinear set; 1-reversal counters; Reversal-bounded counters; Stratified; Decidability
The sequence equivalence problem for primitive D0L systems
Keywords: پذیرش پذیری; D0L system; Equivalence problem; Primitive morphism; Decidability