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

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

Збережено в:

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

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

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

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

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

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

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

Migration in terms of crisis: Ukrainian-Polish context
за авторством: R. T. Tesliuk, та інші
Опубліковано: (2015)

Social moods in the long-term and short-term dynamics
за авторством: O. Zlobina
Опубліковано: (2014)

Terms with the component &quot;biblio&quot; in the branch term system of bibliography studying
за авторством: R. Z. Bilousova
Опубліковано: (2017)

Ethnic Identity in Terms of Genetics: Lithuanian Context
за авторством: D. Daukshas
Опубліковано: (2011)

On authorial term
за авторством: O. I. Vasetska
Опубліковано: (2019)

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

System qualification of library science and bibliography terms
за авторством: R. Z. Bilousova
Опубліковано: (2019)

System of Economic Relations in Terms of Institutional Investment
за авторством: Yu. M. Porodko
Опубліковано: (2011)

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

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

Term and lexicographic standard
за авторством: Z. H. Kozyrieva
Опубліковано: (2019)

Corruption: term and notion
за авторством: N. Yatsenko
Опубліковано: (2017)

The term as the subject of lexicography
за авторством: L. O. Symonenko
Опубліковано: (2017)

Clones of full terms
за авторством: Denecke, Klaus, та інші
Опубліковано: (2018)

From collocations to terms
за авторством: N. F. Klymenko
Опубліковано: (2017)

Clones of full terms
за авторством: Denecke, K., та інші
Опубліковано: (2004)

Technical Translation in Nuclear Energy: New Terms, Context, Equivalence
за авторством: Yu. Malynovska, та інші
Опубліковано: (2016)

Liquidity management in modern terms
за авторством: N. R. Halaiko
Опубліковано: (2013)

Motivation of physical eponimic terms
за авторством: R. B. Mykulchyk
Опубліковано: (2017)

Ways to increase the efficiency of long-term application of different fertilizer systems in short-term crop rotation
за авторством: L. V. Potapenko, та інші
Опубліковано: (2019)

As to correctness of some sociological terms
за авторством: Yu. Saienko
Опубліковано: (2013)

History of term rechennia in Ukrainian
за авторством: Yu. A. Chernobrov
Опубліковано: (2015)

Technological development of ferrous metallurgy of Ukraine in the medium-term and long-term perspective
за авторством: O. I. Babachenko, та інші
Опубліковано: (2020)

Ecological term as an unit of the branch terminology system
за авторством: S. Ovseichyk
Опубліковано: (2012)

Diminutives of biological term system in modern Ukrainian
за авторством: N. Klymenko
Опубліковано: (2017)

Transfer of terms in formation of modern terminological systems
за авторством: V. A. Maslova
Опубліковано: (2017)

Ukrainian tax terms: principles of system approach
за авторством: L. M. Marchuk
Опубліковано: (2017)

Questions to borrowing in Ukrainian museology term system
за авторством: I. M. Fetsko
Опубліковано: (2017)

Ukrainian tax terms: principles of system approach
за авторством: O. V. Chorna
Опубліковано: (2017)

Term intensity in linguistic studies
за авторством: L. I. Didun
Опубліковано: (2019)

Phenomenological thinking in Ukrainian terms
за авторством: A. Bohachov, та інші
Опубліковано: (2019)

Unfair terms in business contracts
за авторством: V. V. Poiedynok
Опубліковано: (2019)

Metaphysical Terms and their Use in Translations
за авторством: P. Sodomora
Опубліковано: (2011)

On mappings of terms determined by hypersubstitutions
за авторством: Koppitz, Jorg, та інші
Опубліковано: (2018)

On mappings of terms determined by hypersubstitutions
за авторством: Koppitz, J., та інші
Опубліковано: (2005)