|
|
Publications in Math-Net.Ru |
Citations |
|
2021 |
1. |
V. P. Gladstein, D. V. Mikhailovskii, E. A. Moiseenko, A. A. Trunov, “Mechanized theory of event structures: a case of parallel register machine”, Proceedings of ISP RAS, 33:3 (2021), 143–154 |
|
2018 |
2. |
E. A. Moiseenko, A. V. Podkopaev, “Relational programming with memoization and negation”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 11:2 (2018), 35–46 |
|
Organisations |
|
|