Зображення обкладинки

The Non-Deterministic Strategy of Rewriting

Збережено в:

Бібліографічні деталі
Дата:	2013
Автори:	A. A. Letichevsky, O. A. Letichevskyi, V. S. Peschanenko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2013
Назва видання:	Control Systems and Computers
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000308628
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

The Non-Deterministic Strategy of Rewriting
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2013)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)

Rewrite and rewriting as a kind of plagiarism
за авторством: O. Ryzhko
Опубліковано: (2015)

Algebras of general non-deterministic predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2018)

Algebras of general non-deterministic predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Logics of general non-deterministic predicates: semantic aspects
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2018)

Semantic properties of logics of general non-deterministic predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2017)

Logics of general non-deterministic predicates: semantic aspects
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

7-values logics and logics of general non-deterministic predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2018)

Cem evi – rewriting tradition
за авторством: M. Godzińska
Опубліковано: (2014)

Deterministic diffusion
за авторством: L. P. Nyzhnyk, та інші
Опубліковано: (2019)

Context term calculus for rewriting systems
за авторством: P. C. Shevchenko
Опубліковано: (2018)

Context term calculus for rewriting systems
за авторством: Shevchenko, R.S.
Опубліковано: (2018)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates
за авторством: O. S. Shkilniak
Опубліковано: (2019)

Stochastic and Deterministic Bundles
за авторством: Leandre, R.
Опубліковано: (2005)

Static analysis of .NET programs using rewriting rules
за авторством: H. A. Mamedov, та інші
Опубліковано: (2020)

Static analysis of .NET programs using rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2020)

Validation of correctness of autotuning code transformations with rewriting rules technique
за авторством: P. A. Ivanenko
Опубліковано: (2020)

Improving performance of Python code using rewriting rules technique
за авторством: K. A. Zhereb
Опубліковано: (2020)

Validation of correctness of autotuning code transformations with rewriting rules technique
за авторством: Ivanenko, P.A.
Опубліковано: (2020)

Improving performance of Python code using rewriting rules technique
за авторством: Zhereb, K.A.
Опубліковано: (2020)

A method of tuning programs on .Net platform with rewriting rules
за авторством: T. A. Mamedov, та інші
Опубліковано: (2019)

-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

A method of tuning programs on .Net platform with rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2019)

Representation of deterministic graphs by defining pair of words
за авторством: O. S. Senchenko, та інші
Опубліковано: (2022)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Deterministic and stochastic schemes method of projection subgradient
за авторством: A. F. Godonoga, та інші
Опубліковано: (2015)

Monte Carlo and molecular dynamics studies for the colour rewritable films
за авторством: Okajima, H., та інші
Опубліковано: (2001)

Modeling of deterministic and stochastic combinatorial optimization problems
за авторством: O. O. Yemets, та інші
Опубліковано: (2016)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
за авторством: Shkilniak, O.S.
Опубліковано: (2019)

TermWare3 – term rewriting system, based on context-term calculus
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)

Some deterministic models of fuzzy linear programming problems
за авторством: Ju. A. Zak
Опубліковано: (2016)

Sojourn measures of random walks on deterministic sequences
за авторством: V. I. Senin
Опубліковано: (2014)

Deterministic Simulation of Sustainability of Dynamic Socio-economic Systems
за авторством: D. S. Revenko, та інші
Опубліковано: (2014)

Detection of Deterministically Moderated Signals in Astronomical Photometric Systems
за авторством: Zhilin, E. I., та інші
Опубліковано: (2013)

From Translation to Rewriting at Marguerite Yourcenar for a Poetic Palimpsest of Creation
за авторством: H. Abdelouahed
Опубліковано: (2021)

Deterministic Factor Analysis of the Resource Potential of the Enterprise
за авторством: M. N. Salun
Опубліковано: (2014)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)

TermWare-3 – term rewriting system, based on context-term calculus
за авторством: R. S. Shevchenko, та інші
Опубліковано: (2019)

Study of the efficiency of some deterministic preprocessing methods for sorting algorithms
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2023)