Cover Image

The Non-Deterministic Strategy of Rewriting

Saved in:

Bibliographic Details
Date:	2013
Main Authors:	A. A. Letichevsky, O. A. Letichevskyi, V. S. Peschanenko
Format:	Article
Language:	English
Published:	2013
Series:	Control Systems and Computers
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000308628
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

The Non-Deterministic Strategy of Rewriting
by: Letichevsky, A.A., et al.
Published: (2013)

Simple non-deterministic rewriting in verification
by: Letichevsky, A., et al.
Published: (2010)

Satisfiability For Symbolic Verification in VRS
by: Letichevsky, A., et al.
Published: (2013)

Rewrite and rewriting as a kind of plagiarism
by: O. Ryzhko
Published: (2015)

Algebras of general non-deterministic predicates
by: M. S. Nikitchenko, et al.
Published: (2018)

Logics of general non-deterministic predicates: semantic aspects
by: M. S. Nikitchenko, et al.
Published: (2018)

Semantic properties of logics of general non-deterministic predicates
by: M. S. Nikitchenko, et al.
Published: (2017)

Logics of general non-deterministic predicates: semantic aspects
by: Nikitchenko, M.S., et al.
Published: (2018)

7-values logics and logics of general non-deterministic predicates
by: M. S. Nikitchenko, et al.
Published: (2018)

Deterministic diffusion
by: L. P. Nyzhnyk, et al.
Published: (2019)

Cem evi – rewriting tradition
by: M. Godzińska
Published: (2014)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates
by: O. S. Shkilniak
Published: (2019)

Context term calculus for rewriting systems
by: P. C. Shevchenko
Published: (2018)

Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)

Stochastic and Deterministic Bundles
by: Leandre, R.
Published: (2005)

Static analysis of .NET programs using rewriting rules
by: H. A. Mamedov, et al.
Published: (2020)

APS C++ User's Library
by: Letichevsky, A., et al.
Published: (2008)

Validation of correctness of autotuning code transformations with rewriting rules technique
by: P. A. Ivanenko
Published: (2020)

Improving performance of Python code using rewriting rules technique
by: K. A. Zhereb
Published: (2020)

A method of tuning programs on .Net platform with rewriting rules
by: T. A. Mamedov, et al.
Published: (2019)

Representation of deterministic graphs by defining pair of words
by: O. S. Senchenko, et al.
Published: (2022)

-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)

Deterministic and stochastic schemes method of projection subgradient
by: A. F. Godonoga, et al.
Published: (2015)

Self-stochasticity in deterministic boundary value problems
by: Romanenko, E.Yu., et al.
Published: (1999)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
by: Shkilniak, O.S.
Published: (2019)

Modeling of deterministic and stochastic combinatorial optimization problems
by: O. O. Yemets, et al.
Published: (2016)

Some deterministic models of fuzzy linear programming problems
by: Ju. A. Zak
Published: (2016)

Deterministic Simulation of Sustainability of Dynamic Socio-economic Systems
by: D. S. Revenko, et al.
Published: (2014)

Development of highly-parallel applications for graphical processing units using rewriting rules
by: Doroshenko, A.Yu., et al.
Published: (2026)

Detection of Deterministically Moderated Signals in Astronomical Photometric Systems
by: Zhilin, E. I., et al.
Published: (2013)

Sojourn measures of random walks on deterministic sequences
by: V. I. Senin
Published: (2014)

Monte Carlo and molecular dynamics studies for the colour rewritable films
by: Okajima, H., et al.
Published: (2001)

TermWare3 – term rewriting system, based on context-term calculus
by: Shevchenko, R.S., et al.
Published: (2019)

Deterministic Factor Analysis of the Resource Potential of the Enterprise
by: M. N. Salun
Published: (2014)

From Translation to Rewriting at Marguerite Yourcenar for a Poetic Palimpsest of Creation
by: H. Abdelouahed
Published: (2021)

Satisfiability For Symbolic Verification in VRS
by: A. Letichevsky, et al.
Published: (2013)

Symmetric Scenarios of Transition to Deterministic Chaos in Systems with Limited Excitation
by: Yu. Shvets, et al.
Published: (2018)

Tensile strength of the brittle materials, probabilistic or deterministic approach?
by: Jeong, J., et al.
Published: (2006)

Selection and analysis of the deterministic component of vibrations by the least squares method
by: R. M. Yuzefovych, et al.
Published: (2023)