Buchumschlag

The Non-Deterministic Strategy of Rewriting

Gespeichert in:

Bibliographische Detailangaben
Datum:	2013
Hauptverfasser:	A. A. Letichevsky, O. A. Letichevskyi, V. S. Peschanenko
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2013
Schriftenreihe:	Control Systems and Computers
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000308628
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

The Non-Deterministic Strategy of Rewriting
von: Letichevsky, A.A., et al.
Veröffentlicht: (2013)

Simple non-deterministic rewriting in verification
von: Letichevsky, A., et al.
Veröffentlicht: (2010)

Rewrite and rewriting as a kind of plagiarism
von: O. Ryzhko
Veröffentlicht: (2015)

Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

Algebras of general non-deterministic predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2018)

Algebras of general non-deterministic predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Logics of general non-deterministic predicates: semantic aspects
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2018)

Semantic properties of logics of general non-deterministic predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2017)

Cem evi – rewriting tradition
von: M. Godzińska
Veröffentlicht: (2014)

Logics of general non-deterministic predicates: semantic aspects
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

7-values logics and logics of general non-deterministic predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2018)

Context term calculus for rewriting systems
von: P. C. Shevchenko
Veröffentlicht: (2018)

Context term calculus for rewriting systems
von: Shevchenko, R.S.
Veröffentlicht: (2018)

Deterministic diffusion
von: L. P. Nyzhnyk, et al.
Veröffentlicht: (2019)

Deterministic diffusion
von: Nizhnik, I. L., et al.
Veröffentlicht: (2026)

Static analysis of .NET programs using rewriting rules
von: H. A. Mamedov, et al.
Veröffentlicht: (2020)

Static analysis of .NET programs using rewriting rules
von: Mamedov, T.A., et al.
Veröffentlicht: (2020)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates
von: O. S. Shkilniak
Veröffentlicht: (2019)

Validation of correctness of autotuning code transformations with rewriting rules technique
von: P. A. Ivanenko
Veröffentlicht: (2020)

Improving performance of Python code using rewriting rules technique
von: K. A. Zhereb
Veröffentlicht: (2020)

Improving performance of Python code using rewriting rules technique
von: Zhereb, K.A.
Veröffentlicht: (2020)

Validation of correctness of autotuning code transformations with rewriting rules technique
von: Ivanenko, P.A.
Veröffentlicht: (2020)

A method of tuning programs on .Net platform with rewriting rules
von: T. A. Mamedov, et al.
Veröffentlicht: (2019)

-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)

Stochastic and Deterministic Bundles
von: Leandre, R.
Veröffentlicht: (2005)

Stochastic and Deterministic Bundles
von: Leandre, R., et al.
Veröffentlicht: (2005)

A method of tuning programs on .Net platform with rewriting rules
von: Mamedov, T.A., et al.
Veröffentlicht: (2019)

APS C++ User's Library
von: Letichevsky, A., et al.
Veröffentlicht: (2008)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Monte Carlo and molecular dynamics studies for the colour rewritable films
von: Okajima, H., et al.
Veröffentlicht: (2001)

Representation of deterministic graphs by defining pair of words
von: O. S. Senchenko, et al.
Veröffentlicht: (2022)

TermWare3 – term rewriting system, based on context-term calculus
von: Shevchenko, R.S., et al.
Veröffentlicht: (2019)

Deterministic and stochastic schemes method of projection subgradient
von: A. F. Godonoga, et al.
Veröffentlicht: (2015)

From Translation to Rewriting at Marguerite Yourcenar for a Poetic Palimpsest of Creation
von: H. Abdelouahed
Veröffentlicht: (2021)

Self-stochasticity in deterministic boundary value problems
von: Romanenko, E.Yu., et al.
Veröffentlicht: (1999)

Modeling of deterministic and stochastic combinatorial optimization problems
von: O. O. Yemets, et al.
Veröffentlicht: (2016)

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

Some deterministic models of fuzzy linear programming problems
von: Ju. A. Zak
Veröffentlicht: (2016)

Deterministic Simulation of Sustainability of Dynamic Socio-economic Systems
von: D. S. Revenko, et al.
Veröffentlicht: (2014)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)