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)

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

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

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

Algebras of general non-deterministic predicates
by: Nikitchenko, M.S., 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)

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

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)

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

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

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

Deterministic diffusion
by: Nizhnik, I. L., et al.
Published: (2026)

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)

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)

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

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