Items where Author is "Chubaryan, Anahit"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Chubaryan, Anahit and Sayadyan, Sergey (2014) On the Proof Complexities of Strongly Equal Non-classical Tautologies. British Journal of Mathematics & Computer Science, 4 (15). pp. 2170-2176. ISSN 22310851

This list was generated on Fri Nov 22 00:33:52 2024 UTC.