Items where Author is "Sayadyan, Sergey"

[up] Up a level
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 Mon Sep 16 18:56:20 2024 UTC.