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

Context term calculus for rewriting systems

Збережено в:

Бібліографічні деталі
Дата:	2018
Автор:	P. C. Shevchenko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2018
Назва видання:	Problems in programming
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000882035
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

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

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

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

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

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

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

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

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

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

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

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

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

Classification calculus. The classification correctness
за авторством: G. A. Kravtsov, та інші
Опубліковано: (2017)

Fractional calculus of a unified Mittag-Leffler function
за авторством: Prajapati, J.C., та інші
Опубліковано: (2014)

Fractional Calculus of a Unified Mittag-Leffler Function
за авторством: J. C. Prajapati, та інші
Опубліковано: (2014)

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

Trainable model of the calculus over classifications
за авторством: G. A. Kravtsov, та інші
Опубліковано: (2018)

The calculus over classifications. assessment of classifiers
за авторством: G. A. Kravtsov
Опубліковано: (2016)

Tuple calculus for multiset table algebra
за авторством: Lysenko, І.M.
Опубліковано: (2024)

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

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

Classification calculus. validation of qualification in social networks
за авторством: G. A. Kravtsov
Опубліковано: (2017)

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

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

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

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

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

Fractal radiophysics. Part 3. Fractional calculus in electrodynamics
за авторством: O. V. Lazorenko, та інші
Опубліковано: (2024)

FRACTAL RADIOPHYSICS. Part 3. FRACTIONAL CALCULUS IN ELECTRODYNAMICS
за авторством: Lazorenko, O. V., та інші
Опубліковано: (2024)

A New Representation of Lagrange&#039;s Theorem in Differential Calculus
за авторством: L. P. Mironenko, та інші
Опубліковано: (2014)

Formal functional calculus for copolynomials over a commutative ring
за авторством: Gefter, Sergiy L., та інші
Опубліковано: (2025)

Problems of the variational calculus with movable ends and higher-order derivatives
за авторством: M. A. Elishevich
Опубліковано: (2016)

Application of dyvidirial and multygral calculuses in the study of agricultural economics of Ukraine
за авторством: M. V. Artiukh, та інші
Опубліковано: (2016)

Application of the Laplace Transform of Tempered Distributions to the Construction of Functional Calculus
за авторством: A. O. Lopushanskyi, та інші
Опубліковано: (2015)

Spectral Mapping Theorem for the Davies-Helffer-Sjöstrand Functional Calculus
за авторством: Claire, N.S.
Опубліковано: (2012)

Logics of local equitone predicates: semantic properties and sequential calculuses
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)

Signal processing and modeling of fractional order dynamical systems based on approximated type operational calculus
за авторством: V. V. Vasilev, та інші
Опубліковано: (2016)

Homfly polynomial invariants of torus knots and bosonic (q, p)-calculus
за авторством: A. M. Pavlyuk
Опубліковано: (2013)

Homfly polynomial invariants of torus knots and bosonic (q, p)-calculus
за авторством: A. M. Pavlyuk
Опубліковано: (2013)

The calculus over classifications. selection of personnel as interpretation of the problem of expert selection
за авторством: G. A. Kravtsov
Опубліковано: (2017)