Keywords: منطق مرتبه دوم مرتبه; Parameterized complexity; Kernelization; Rank-width; Clique-width; Boolean-width; Monadic second-order logic; Modular decomposition
مقالات ISI منطق مرتبه دوم مرتبه (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق مرتبه دوم مرتبه; Picture languages; Locality and tiling; Recognizability; Linear time; Cellular automata; Logical characterizations; Monadic second-order logic; Existential second-order logic
Keywords: منطق مرتبه دوم مرتبه; Program correctness; Termination; Non-termination; Monadic second-order logic
Keywords: منطق مرتبه دوم مرتبه; 03B45; 03C80; 03B15Modal logic; Propositional quantifiers; Monadic second-order logic; Alternation hierarchies; Second-order logic
Fly-automata for checking MSO2 graph properties
Keywords: منطق مرتبه دوم مرتبه; Monadic second-order logic; Edge quantification; Tree-width; Clique-width; Algorithmic meta-theorem; Fly-automaton;
Practical algorithms for MSO model-checking on tree-decomposable graphs
Keywords: منطق مرتبه دوم مرتبه; Monadic second-order logic; Tree decompositions; Courcelle’s Theorem
On the model-checking of monadic second-order formulas with edge set quantifications
Keywords: منطق مرتبه دوم مرتبه; Tree-width; Clique-width; Monadic second-order logic; Graph decomposition; Model-checking
Automata for the verification of monadic second-order graph properties
Keywords: منطق مرتبه دوم مرتبه; Graph algorithm; Automaton; Monadic second-order logic; Clique-width; Fixed-parameter tractability; Fly-automaton
Monadic second-order model-checking on decomposable matroids
Keywords: منطق مرتبه دوم مرتبه; Matroid representation; Branch-width; Monadic second-order logic; Fixed-parameter complexity; Series-parallel operation; Enumeration
Courcelle’s theorem—A game-theoretic approach
Keywords: منطق مرتبه دوم مرتبه; Parameterized algorithms; Model checking; Monadic Second-Order logic; Treewidth
Linear delay enumeration and monadic second-order logic
Keywords: منطق مرتبه دوم مرتبه; Monadic second-order logic; Tree-width; Enumeration; Query; DAG; Monadic second-order transduction; Recognizable set of terms; Tree automaton; Unfolding; Random generation
Circle graphs and monadic second-order logic
Keywords: منطق مرتبه دوم مرتبه; Monadic second-order logic; Split decomposition; Circle graph; Chord diagram; Order-invariant monadic second-order property; Monadic second-order transduction
On the expressive power of monadic least fixed point logic
Keywords: منطق مرتبه دوم مرتبه; Finite model theory; Descriptive complexity theory; Fixed point logic; Monadic second-order logic; Linear time complexity classes
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
Keywords: منطق مرتبه دوم مرتبه; Graph; Clique-width; Comparability graph; Line graph; Interval graph; Monadic second-order logic; Decidable theory; Monadic second-order transduction
Graph decompositions definable in monadic second-order logic
Keywords: منطق مرتبه دوم مرتبه; Graph decomposition; Split decomposition; Matroid; Monadic Second-Order Logic;
Fragments of Monadic Second-Order Logics Over Word Structures
Keywords: منطق مرتبه دوم مرتبه; Descriptive complexity; Monadic Second-Order Logic; Generalized Quantifiers;
Attribute grammars for unranked trees as a query language for structured documents
Keywords: منطق مرتبه دوم مرتبه; Attribute grammars; Unranked trees; XML; Monadic second-order logic; Expressiveness; Complexity;
A theory of regular MSC languages
Keywords: منطق مرتبه دوم مرتبه; Message sequence charts; Message-passing systems; Regularity; Realizability; Synthesis; Monadic second-order logic;