Moiseenko Evgenii Aleksandrovich

Publications in Math-Net.Ru

1. Mechanized theory of event structures: a case of parallel register machine
   
   Proceedings of ISP RAS, 33:3 (2021),  143–154
2. Relational programming with memoization and negation
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 11:2 (2018),  35–46