TermWare-3 – term rewriting system, based on context-term calculus
Gespeichert in:
| Datum: | 2019 |
|---|---|
| Hauptverfasser: | R. S. Shevchenko, Yu. Doroshenko |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
2019
|
| Schriftenreihe: | Problems in programming |
| Online Zugang: | http://jnas.nbuv.gov.ua/article/UJRN-0000971104 |
| 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
TermWare3 – term rewriting system, based on context-term calculus
von: Shevchenko, R.S., et al.
Veröffentlicht: (2019)
von: Shevchenko, R.S., et al.
Veröffentlicht: (2019)
Context term calculus for rewriting systems
von: Shevchenko, R.S.
Veröffentlicht: (2018)
von: Shevchenko, R.S.
Veröffentlicht: (2018)
Context term calculus for rewriting systems
von: P. C. Shevchenko
Veröffentlicht: (2018)
von: P. C. Shevchenko
Veröffentlicht: (2018)
-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)
Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)
von: Yatsenko, O.A.
Veröffentlicht: (2025)
Migration in terms of crisis: Ukrainian-Polish context
von: R. T. Tesliuk, et al.
Veröffentlicht: (2015)
von: R. T. Tesliuk, et al.
Veröffentlicht: (2015)
Social moods in the long-term and short-term dynamics
von: O. Zlobina
Veröffentlicht: (2014)
von: O. Zlobina
Veröffentlicht: (2014)
Terms with the component "biblio" in the branch term system of bibliography studying
von: R. Z. Bilousova
Veröffentlicht: (2017)
von: R. Z. Bilousova
Veröffentlicht: (2017)
Ethnic Identity in Terms of Genetics: Lithuanian Context
von: D. Daukshas
Veröffentlicht: (2011)
von: D. Daukshas
Veröffentlicht: (2011)
On authorial term
von: O. I. Vasetska
Veröffentlicht: (2019)
von: O. I. Vasetska
Veröffentlicht: (2019)
Static analysis of .NET programs using rewriting rules
von: H. A. Mamedov, et al.
Veröffentlicht: (2020)
von: H. A. Mamedov, et al.
Veröffentlicht: (2020)
System qualification of library science and bibliography terms
von: R. Z. Bilousova
Veröffentlicht: (2019)
von: R. Z. Bilousova
Veröffentlicht: (2019)
System of Economic Relations in Terms of Institutional Investment
von: Yu. M. Porodko
Veröffentlicht: (2011)
von: Yu. M. Porodko
Veröffentlicht: (2011)
Rewrite and rewriting as a kind of plagiarism
von: O. Ryzhko
Veröffentlicht: (2015)
von: O. Ryzhko
Veröffentlicht: (2015)
Static analysis of .NET programs using rewriting rules
von: Mamedov, T.A., et al.
Veröffentlicht: (2020)
von: Mamedov, T.A., et al.
Veröffentlicht: (2020)
Term and lexicographic standard
von: Z. H. Kozyrieva
Veröffentlicht: (2019)
von: Z. H. Kozyrieva
Veröffentlicht: (2019)
Corruption: term and notion
von: N. Yatsenko
Veröffentlicht: (2017)
von: N. Yatsenko
Veröffentlicht: (2017)
The term as the subject of lexicography
von: L. O. Symonenko
Veröffentlicht: (2017)
von: L. O. Symonenko
Veröffentlicht: (2017)
Clones of full terms
von: Denecke, Klaus, et al.
Veröffentlicht: (2018)
von: Denecke, Klaus, et al.
Veröffentlicht: (2018)
From collocations to terms
von: N. F. Klymenko
Veröffentlicht: (2017)
von: N. F. Klymenko
Veröffentlicht: (2017)
Clones of full terms
von: Denecke, K., et al.
Veröffentlicht: (2004)
von: Denecke, K., et al.
Veröffentlicht: (2004)
Technical Translation in Nuclear Energy: New Terms, Context, Equivalence
von: Yu. Malynovska, et al.
Veröffentlicht: (2016)
von: Yu. Malynovska, et al.
Veröffentlicht: (2016)
Liquidity management in modern terms
von: N. R. Halaiko
Veröffentlicht: (2013)
von: N. R. Halaiko
Veröffentlicht: (2013)
Motivation of physical eponimic terms
von: R. B. Mykulchyk
Veröffentlicht: (2017)
von: R. B. Mykulchyk
Veröffentlicht: (2017)
Ways to increase the efficiency of long-term application of different fertilizer systems in short-term crop rotation
von: L. V. Potapenko, et al.
Veröffentlicht: (2019)
von: L. V. Potapenko, et al.
Veröffentlicht: (2019)
As to correctness of some sociological terms
von: Yu. Saienko
Veröffentlicht: (2013)
von: Yu. Saienko
Veröffentlicht: (2013)
History of term rechennia in Ukrainian
von: Yu. A. Chernobrov
Veröffentlicht: (2015)
von: Yu. A. Chernobrov
Veröffentlicht: (2015)
Technological development of ferrous metallurgy of Ukraine in the medium-term and long-term perspective
von: O. I. Babachenko, et al.
Veröffentlicht: (2020)
von: O. I. Babachenko, et al.
Veröffentlicht: (2020)
Ecological term as an unit of the branch terminology system
von: S. Ovseichyk
Veröffentlicht: (2012)
von: S. Ovseichyk
Veröffentlicht: (2012)
Diminutives of biological term system in modern Ukrainian
von: N. Klymenko
Veröffentlicht: (2017)
von: N. Klymenko
Veröffentlicht: (2017)
Transfer of terms in formation of modern terminological systems
von: V. A. Maslova
Veröffentlicht: (2017)
von: V. A. Maslova
Veröffentlicht: (2017)
Ukrainian tax terms: principles of system approach
von: L. M. Marchuk
Veröffentlicht: (2017)
von: L. M. Marchuk
Veröffentlicht: (2017)
Questions to borrowing in Ukrainian museology term system
von: I. M. Fetsko
Veröffentlicht: (2017)
von: I. M. Fetsko
Veröffentlicht: (2017)
Ukrainian tax terms: principles of system approach
von: O. V. Chorna
Veröffentlicht: (2017)
von: O. V. Chorna
Veröffentlicht: (2017)
Term intensity in linguistic studies
von: L. I. Didun
Veröffentlicht: (2019)
von: L. I. Didun
Veröffentlicht: (2019)
Phenomenological thinking in Ukrainian terms
von: A. Bohachov, et al.
Veröffentlicht: (2019)
von: A. Bohachov, et al.
Veröffentlicht: (2019)
Unfair terms in business contracts
von: V. V. Poiedynok
Veröffentlicht: (2019)
von: V. V. Poiedynok
Veröffentlicht: (2019)
Metaphysical Terms and their Use in Translations
von: P. Sodomora
Veröffentlicht: (2011)
von: P. Sodomora
Veröffentlicht: (2011)
On mappings of terms determined by hypersubstitutions
von: Koppitz, Jorg, et al.
Veröffentlicht: (2018)
von: Koppitz, Jorg, et al.
Veröffentlicht: (2018)
On mappings of terms determined by hypersubstitutions
von: Koppitz, J., et al.
Veröffentlicht: (2005)
von: Koppitz, J., et al.
Veröffentlicht: (2005)
Ähnliche Einträge
-
TermWare3 – term rewriting system, based on context-term calculus
von: Shevchenko, R.S., et al.
Veröffentlicht: (2019) -
Context term calculus for rewriting systems
von: Shevchenko, R.S.
Veröffentlicht: (2018) -
Context term calculus for rewriting systems
von: P. C. Shevchenko
Veröffentlicht: (2018) -
-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025) -
Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)