Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Jebelean, Tudor
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:85
Abstract pages:188
Full texts:60
E-mail:

https://www.mathnet.ru/eng/person40166
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/94105

Publications in Math-Net.Ru Citations
2002
1. B. Yu. Konev, T. Jebelean, “Solution lifting method for handling Meta-variables in the TH$\exists$OREM$\forall$ system”, Zap. Nauchn. Sem. POMI, 293 (2002),  94–117  mathnet  mathscinet  zmath; J. Math. Sci. (N. Y.), 126:3 (2005), 1182–1194 5

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