Items where Author is "Sayadyan, Sergey"

Group by: Item Type | No Grouping
Number of items: 1.

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 Thu Nov 21 23:48:24 2024 UTC.