Items where Author is "Sayadyan, Sergey"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.
Book Section
Chubaryan, Anahit and Sayadyan, Sergey (2019) On the Proof Complexities of Strongly Equal Non-classical Tautologies. In: Advances in Mathematics and Computer Science Vol. 1. B P International, pp. 105-112. ISBN 978-93-89246-18-6