Mars K. Valiev

发表

Mars K. Valiev, 1977, Discret. Math..

Alexandre Ja. Dikovsky, Michael I. Dekhtyar, Mars K. Valiev, 2003, Theor. Comput. Sci..

Alexandre Ja. Dikovsky, Michael I. Dekhtyar, Mars K. Valiev, 1999, Ershov Memorial Conference.

Michael I. Dekhtyar, Mars K. Valiev, M. Dekhtyar, 2013, MICAI.

Alexandre Ja. Dikovsky, Michael I. Dekhtyar, Mars K. Valiev, 2006, Ann. Pure Appl. Log..

Michael I. Dekhtyar, Mars K. Valiev, M. Dekhtyar, 2011, Automatic Control and Computer Sciences.

Alexandre Ja. Dikovsky, Michael I. Dekhtyar, Mars K. Valiev, 2009, Programming and Computer Software.

Alexandre Ja. Dikovsky, Michael I. Dekhtyar, Mars K. Valiev, 2002, JELIA.

Alexandre Ja. Dikovsky, Michael I. Dekhtyar, Mars K. Valiev, 2008, Pillars of Computer Science.

Mars K. Valiev, 1980, Logic of Programs.