Rostislav Yavorskiy

Senior Researcher at the Department of Mathematical Logic, Steklov Mathematical Institute, Russian Academy of Sciences.


Research interests


Selected publications


Misc

Pictures from ASM'2005

AsmL examples

Variants

Course program

Folder

Library


Sorry, this page is still under construction... :-)
rey at mi dot ras dot ru

Yours, Rostik.

Last updated on March 22, 2005.