Keywords: ارزیابی فیشربرگر; Context-free commutative grammars; Communication-free Petri nets; Reset nets; Vector addition systems with states; Presburger arithmetic; Subset sum;
مقالات ISI ارزیابی فیشربرگر (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: ارزیابی فیشربرگر; Multicore; Parallelism; Functional programming; Presburger Arithmetic; Decision procedure
Keywords: ارزیابی فیشربرگر; Linear-time temporal logic; Stuttering; Model-checking; Counter system; Flatness; Complexity; System of equations; Small solution; Presburger arithmetic
Equivalence between model-checking flat counter systems and Presburger arithmetic
Keywords: ارزیابی فیشربرگر; Model-checking; Flat counter systems; Temporal logic; CTL*; Presburger arithmetic;
The convex hull of a regular set of integer vectors is polyhedral and effectively computable
Keywords: ارزیابی فیشربرگر; Approximation algorithms; Symbolic representation; Polyhedral convex set; Presburger arithmetic;
Multitree automata that count
Keywords: ارزیابی فیشربرگر; Tree-automata; Presburger arithmetic; Formal languages; Logic;