Treffer 1 - 9 von 9 für Suche 'Shevchenko, R.S.', Suchdauer: 0,05s Treffer weiter einschränken
  1. 1
    Context term calculus for rewriting systems
    von Shevchenko, R.S.
    Veröffentlicht 2018
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 2
    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
    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:
  4. 4
    Symbolic computation system for dynamical application programming
    von Doroshenko, A.Yu., Shevchenko, R.S.
    Veröffentlicht 2015
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  5. 5
    -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
    Embedding a family of logic languages with custom monadic unification in Scala
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  7. 7
    Static analysis of .NET programs using rewriting rules
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  8. 8
    Interface-oriented approach to modelling tools for multi-agent systems
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  9. 9
    Formal and adaptive methods and software tools of parallel programming
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden