Buchumschlag

Context term calculus for rewriting systems

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
1. Verfasser:	P. C. Shevchenko
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2018
Schriftenreihe:	Problems in programming
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000882035
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

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

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

TermWare3 – term rewriting system, based on context-term calculus
von: Shevchenko, R.S., 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)

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

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

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

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

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

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)

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

Classification calculus. The classification correctness
von: G. A. Kravtsov, et al.
Veröffentlicht: (2017)

Fractional calculus of a unified Mittag-Leffler function
von: Prajapati, J.C., et al.
Veröffentlicht: (2014)

Fractional Calculus of a Unified Mittag-Leffler Function
von: J. C. Prajapati, et al.
Veröffentlicht: (2014)

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

Trainable model of the calculus over classifications
von: G. A. Kravtsov, et al.
Veröffentlicht: (2018)

The calculus over classifications. assessment of classifiers
von: G. A. Kravtsov
Veröffentlicht: (2016)

Tuple calculus for multiset table algebra
von: Lysenko, І.M.
Veröffentlicht: (2024)

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

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

Classification calculus. validation of qualification in social networks
von: G. A. Kravtsov
Veröffentlicht: (2017)

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

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

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

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

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

Fractal radiophysics. Part 3. Fractional calculus in electrodynamics
von: O. V. Lazorenko, et al.
Veröffentlicht: (2024)

FRACTAL RADIOPHYSICS. Part 3. FRACTIONAL CALCULUS IN ELECTRODYNAMICS
von: Lazorenko, O. V., et al.
Veröffentlicht: (2024)

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

Formal functional calculus for copolynomials over a commutative ring
von: Gefter, Sergiy L., et al.
Veröffentlicht: (2025)

Problems of the variational calculus with movable ends and higher-order derivatives
von: M. A. Elishevich
Veröffentlicht: (2016)

Application of dyvidirial and multygral calculuses in the study of agricultural economics of Ukraine
von: M. V. Artiukh, et al.
Veröffentlicht: (2016)

Application of the Laplace Transform of Tempered Distributions to the Construction of Functional Calculus
von: A. O. Lopushanskyi, et al.
Veröffentlicht: (2015)

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

Logics of local equitone predicates: semantic properties and sequential calculuses
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)

Signal processing and modeling of fractional order dynamical systems based on approximated type operational calculus
von: V. V. Vasilev, et al.
Veröffentlicht: (2016)

Homfly polynomial invariants of torus knots and bosonic (q, p)-calculus
von: A. M. Pavlyuk
Veröffentlicht: (2013)

Homfly polynomial invariants of torus knots and bosonic (q, p)-calculus
von: A. M. Pavlyuk
Veröffentlicht: (2013)

The calculus over classifications. selection of personnel as interpretation of the problem of expert selection
von: G. A. Kravtsov
Veröffentlicht: (2017)