Showing 1 - 8 results of 8 for search 'Shevchenko, R.S.', query time: 0.05s Refine Results
  1. 1
    Context term calculus for rewriting systems
    by Shevchenko, R.S.
    Published 2018
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    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
    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:
  4. 4
    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:
  5. 5
    Static analysis of .NET programs using rewriting rules
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Embedding a family of logic languages with custom monadic unification in Scala
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Interface-oriented approach to modelling tools for multi-agent systems
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Formal and adaptive methods and software tools of parallel programming
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search