Items where Author is "Sayadyan, Sergey"

[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 Sat Sep 7 23:31:05 2024 UTC.