Cover Image

Context term calculus for rewriting systems

Saved in:

Bibliographic Details
Date:	2018
Main Author:	P. C. Shevchenko
Format:	Article
Language:	English
Published:	2018
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000882035
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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

Classification calculus. The classification correctness
by: G. A. Kravtsov, et al.
Published: (2017)

Integral calculus on Eq(2)
by: Brzeziński, T.
Published: (2010)

Finite difference calculus in the continuum
by: Finkelshtein, Dmitri, et al.
Published: (2026)

Operator calculus on ultrasmooth vectors
by: Lopushansky , О. V., et al.
Published: (1992)

Fractional calculus of a unified Mittag-Leffler function
by: Prajapati, J.C., et al.
Published: (2014)

Fractional Calculus of a Unified Mittag-Leffler Function
by: J. C. Prajapati, et al.
Published: (2014)

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)

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

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

Fractional Calculus of a Unified Mittag-Leffler Function
by: Nathwani, B. V., et al.
Published: (2014)

Trainable model of the calculus over classifications
by: G. A. Kravtsov, et al.
Published: (2018)

The calculus over classifications. assessment of classifiers
by: G. A. Kravtsov
Published: (2016)

Differential Calculus on h-Deformed Spaces
by: Herlemont, B., et al.
Published: (2017)

Tuple calculus for multiset table algebra
by: Lysenko, І.M.
Published: (2024)

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

Distributed-order calculus: An operator-theoretic interpretation
by: Kochubei, A.N.
Published: (2008)

Classification calculus. validation of qualification in social networks
by: G. A. Kravtsov
Published: (2017)

Distributed-order calculus: An operator-theoretic interpretation
by: Kochubei, A. N., et al.
Published: (2008)

Fractal radiophysics. Part 3. Fractional calculus in electrodynamics
by: O. V. Lazorenko, et al.
Published: (2024)

FRACTAL RADIOPHYSICS. Part 3. FRACTIONAL CALCULUS IN ELECTRODYNAMICS
by: Lazorenko, O. V., et al.
Published: (2024)

A New Representation of Lagrange&#039;s Theorem in Differential Calculus
by: L. P. Mironenko, et al.
Published: (2014)

Spectral Mapping Theorem for the Davies-Helffer-Sjöstrand Functional Calculus
by: Claire, N.S.
Published: (2012)

Formal functional calculus for copolynomials over a commutative ring
by: Gefter, Sergiy L., et al.
Published: (2025)

Problems of the variational calculus with movable ends and higher-order derivatives
by: M. A. Elishevich
Published: (2016)