Cover Image

TermWare-3 – term rewriting system, based on context-term calculus

Saved in:

Bibliographic Details
Date:	2019
Main Authors:	R. S. Shevchenko, Yu. Doroshenko
Format:	Article
Language:	English
Published:	2019
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000971104
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

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

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

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

TermWare-3 – система переписування термів, заснована на контекстному численні
by: Шевченко, Р.С., et al.
Published: (2019)

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

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

Migration in terms of crisis: Ukrainian-Polish context
by: R. T. Tesliuk, et al.
Published: (2015)

Ethnic Identity in Terms of Genetics: Lithuanian Context
by: D. Daukshas
Published: (2011)

Social moods in the long-term and short-term dynamics
by: O. Zlobina
Published: (2014)

Terms with the component &quot;biblio&quot; in the branch term system of bibliography studying
by: R. Z. Bilousova
Published: (2017)

On authorial term
by: O. I. Vasetska
Published: (2019)

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

System qualification of library science and bibliography terms
by: R. Z. Bilousova
Published: (2019)

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

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

System of Economic Relations in Terms of Institutional Investment
by: Yu. M. Porodko
Published: (2011)

Technical Translation in Nuclear Energy: New Terms, Context, Equivalence
by: Yu. Malynovska, et al.
Published: (2016)

Term and lexicographic standard
by: Z. H. Kozyrieva
Published: (2019)

Clones of full terms
by: Denecke, Klaus, et al.
Published: (2018)

Clones of full terms
by: Denecke, K., et al.
Published: (2004)

Corruption: term and notion
by: N. Yatsenko
Published: (2017)

The term as the subject of lexicography
by: L. O. Symonenko
Published: (2017)

From collocations to terms
by: N. F. Klymenko
Published: (2017)

Liquidity management in modern terms
by: N. R. Halaiko
Published: (2013)

Motivation of physical eponimic terms
by: R. B. Mykulchyk
Published: (2017)

As to correctness of some sociological terms
by: Yu. Saienko
Published: (2013)

Ways to increase the efficiency of long-term application of different fertilizer systems in short-term crop rotation
by: L. V. Potapenko, et al.
Published: (2019)

History of term rechennia in Ukrainian
by: Yu. A. Chernobrov
Published: (2015)

Technological development of ferrous metallurgy of Ukraine in the medium-term and long-term perspective
by: O. I. Babachenko, et al.
Published: (2020)

Ecological term as an unit of the branch terminology system
by: S. Ovseichyk
Published: (2012)

Diminutives of biological term system in modern Ukrainian
by: N. Klymenko
Published: (2017)

Transfer of terms in formation of modern terminological systems
by: V. A. Maslova
Published: (2017)

Ukrainian tax terms: principles of system approach
by: L. M. Marchuk
Published: (2017)

Questions to borrowing in Ukrainian museology term system
by: I. M. Fetsko
Published: (2017)

Ukrainian tax terms: principles of system approach
by: O. V. Chorna
Published: (2017)

Term intensity in linguistic studies
by: L. I. Didun
Published: (2019)

Phenomenological thinking in Ukrainian terms
by: A. Bohachov, et al.
Published: (2019)

Unfair terms in business contracts
by: V. V. Poiedynok
Published: (2019)

On mappings of terms determined by hypersubstitutions
by: Koppitz, Jorg, et al.
Published: (2018)

On mappings of terms determined by hypersubstitutions
by: Koppitz, J., et al.
Published: (2005)