Suchergebnisse - R. S. Shevchenko
- Treffer 1 - 4 von 4
-
1
TermWare-3 – term rewriting system, based on context-term calculus von R. S. Shevchenko, Yu. Doroshenko
Veröffentlicht 2019Volltext
Artikel -
2
-
3
Static analysis of .NET programs using rewriting rules von H. A. Mamedov, Yu. Doroshenko, R. S. Shevchenko
Veröffentlicht 2020Volltext
Artikel -
4
Formal and adaptive methods and software tools of parallel programming von Yu. Doroshenko, O. H. Beketov, K. A. Zhereb, P. A. Ivanenko, O. M. Ovdii, R. S. Shevchenko, O. A. Yatsenko
Veröffentlicht 2017Volltext
Artikel