Suchergebnisse - Shevchenko, R.S.

  • Treffer 1 - 9 von 9
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    Veröffentlicht 2018
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2024
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2015
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2019
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2025
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2020
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2024
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 2025
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 2018
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: