Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Vladimirov, Konstantin Igorevich


Number of views:
This page:176
Birth date: 16.11.1982
E-mail:
Keywords: Haskell.

Subject:

Haskell, lamda calculus, mathematical logic.

   
Main publications:
  1. Makarov N. N., Vladimirov K. I., “Nakoplenie vozmuschenii lineinymi nepreryvno-diskretnymi sistemami”, Izvestiya Tulskogo gosudarstvennogo universiteta, 2:3 (2006), 45–48

http://www.mathnet.ru/eng/person53417
List of publications on Google Scholar
List of publications on ZentralBlatt

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021