Показ 1 - 8 результатів із 8 для пошуку 'Shevchenko, R.S.', час виконання запиту: 0.04сек. Уточнити результати
  1. 1
    Context term calculus for rewriting systems
    за авторством Shevchenko, R.S.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  2. 2
    Representation of monadic effects in the non-monadic form
    за авторством Shevchenko, R.S.
    Опубліковано 2024
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  3. 3
    TermWare3 – term rewriting system, based on context-term calculus
    за авторством Shevchenko, R.S., Doroshenko, A.Yu.
    Опубліковано 2019
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  4. 4
    Symbolic computation system for dynamical application programming
    за авторством Doroshenko, A.Yu., Shevchenko, R.S.
    Опубліковано 2015
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  5. 5
    Static analysis of .NET programs using rewriting rules
    за авторством Mamedov, T.A., Doroshenko, А.Yu., Shevchenko, R.S.
    Опубліковано 2020
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  6. 6
    Embedding a family of logic languages with custom monadic unification in Scala
    за авторством Shevchenko, R.S., Doroshenko, А.Yu., Yatsenko, O.A.
    Опубліковано 2024
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  7. 7
    Interface-oriented approach to modelling tools for multi-agent systems
    за авторством Shevchenko, R.S., Doroshenko, A.Yu., Lesyk, V.O., Savchuk, O.V., Yatsenko, O.A.
    Опубліковано 2025
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  8. 8
    Formal and adaptive methods and software tools of parallel programming
    за авторством Doroshenko, А.Yu., Beketov, O.G., Zhereb, K.A., Ivanenko, P.A., Ovdii, О.М., Shevchenko, R.S., Yatsenko, O.A.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою