Keywords: منطق در علوم رایانه; Algorithms; Formal methods; Logic in computer science; Formula size and succinctness
مقالات ISI منطق در علوم رایانه (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق در علوم رایانه; 03E60; 03E35; 03B70; 68Q45; 03D05; 68Q15; 68Q17; 03E15Automata and formal languages; Logic in computer science; Gale–Stewart games; 2-tape Büchi automaton; 1-counter automaton; Determinacy; Effective analytic determinacy; Models of set theory; Independenc
The Rabin index of parity games: Its complexity and approximation
Keywords: منطق در علوم رایانه; Logic in computer science; Graph theory: paths and cycles; Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.); Descriptive complexity and finite models; Specification and verification (program logics, mode
Datalog and constraint satisfaction with infinite templates
Keywords: منطق در علوم رایانه; Logic in computer science; Computational complexity; Constraint satisfaction; Datalog; Countably categorical structures
The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator
Keywords: منطق در علوم رایانه; 08A70; 03B70; 68Q85; 93E03Applications of universal algebra in computer science; Logic in computer science; Models and methods for concurrent and distributed computing; Stochastic systems, general