Items where Author is "Chubaryan, Anahit"
Group 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