37493279118
achubaryan@ysu.am

Anahit Artashes Chubaryan

Faculty of Informatics and Applied Mathematics
Chair of Discrete Mathematics and Theoretical Informatics
Professor

Personal information

Date of birth
1946

Publications

Conference
Comparison of two propositional proof systems by lines and by sizes
ANAHIT CHUBARYAN
SARGIS HOVHANNISYAN
HAYK GASPARYAN
Conference
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
Hakob Tamazyan
Anahit Chubaryan
Address: Republic of Armenia, Yerevan, 0025, 1 Alex Manoogian (+37460) 710000 info@ysu.am