Margarita V. Korovina
E-mail
Organization:
  • A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher
Academic degree: PhD
List of Articles:
Brauße F. Korovin K. Korovina M. Müller N. Notes on implementing the ksmt-solver // Computer Science. — 2019 . — # 43.  — P. 15-19
Korovina M. Fixed points on abstra t stru tures without the equality test // Computer Science. — 2002 . — # 18.  — P. 103-114
Korovina M. Kudinov O. Background for formalisation of complex systems // Computer Science. — 2000 . — # 13.  — P. 40-55