Search Results - Shevchenko, R.S.

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Cover Image

    Context term calculus for rewriting systems by Shevchenko, R.S.

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    Representation of monadic effects in the non-monadic form by Shevchenko, R.S.

    Published 2024
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    Symbolic computation system for dynamical application programming by Doroshenko, A.Yu., Shevchenko, R.S.

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

    TermWare3 – term rewriting system, based on context-term calculus by Shevchenko, R.S., Doroshenko, A.Yu.

    Published 2019
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    -calculus as a realistic formalization of a class of rewriting systems by Shevchenko, R.S., Doroshenko, A.Yu.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

    Static analysis of .NET programs using rewriting rules by Mamedov, T.A., Doroshenko, А.Yu., Shevchenko, R.S.

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

    Embedding a family of logic languages with custom monadic unification in Scala by Shevchenko, R.S., Doroshenko, А.Yu., Yatsenko, O.A.

    Published 2024
    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    Cover Image

    Interface-oriented approach to modelling tools for multi-agent systems by Shevchenko, R.S., Doroshenko, A.Yu., Lesyk, V.O., Savchuk, O.V., Yatsenko, O.A.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:
  9. 9
    Cover Image

    Formal and adaptive methods and software tools of parallel programming by Doroshenko, А.Yu., Beketov, O.G., Zhereb, K.A., Ivanenko, P.A., Ovdii, О.М., Shevchenko, R.S., Yatsenko, O.A.

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: