Результати пошуку - Shevchenko, R.S.
-
1
-
2
Representation of monadic effects in the non-monadic form
Опубліковано 2024Отримати повний текст
Стаття -
3
Symbolic computation system for dynamical application programming
Опубліковано 2015Отримати повний текст
Стаття -
4
TermWare3 – term rewriting system, based on context-term calculus
Опубліковано 2019Отримати повний текст
Стаття -
5
-calculus as a realistic formalization of a class of rewriting systems
Опубліковано 2025Отримати повний текст
Стаття -
6
Static analysis of .NET programs using rewriting rules
Опубліковано 2020Отримати повний текст
Стаття -
7
Embedding a family of logic languages with custom monadic unification in Scala
Опубліковано 2024Отримати повний текст
Стаття -
8
Interface-oriented approach to modelling tools for multi-agent systems
Опубліковано 2025Отримати повний текст
Стаття -
9
Formal and adaptive methods and software tools of parallel programming
Опубліковано 2018Отримати повний текст
Стаття