Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Rastsvetaev, Aleksandr Leonidovich

https://www.mathnet.ru/eng/person26065
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/260700

Publications in Math-Net.Ru Citations
1990
1. A. L. Rastsvetaev, “A propositional logic of Boolean recursive programs in which predicate variables appear in conditions”, Mat. Zametki, 48:3 (1990),  119–127  mathnet  mathscinet  zmath; Math. Notes, 48:3 (1990), 958–964  isi
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024