Publications

You are here

Export 5 results:
Author Title [ Type(Asc)] Year
Filters: Author is Subramani, K  [Clear All Filters]
Journal Article
P. Eirinakis, Ruggieri, S., Subramani, K., and Wojciechowski, P., On quantified linear implications, Annals of Mathematics and Artificial Intelligence, vol. 71, pp. 301–325, 2014.
S. Ruggieri, Eirinakis, P., Subramani, K., and Wojciechowski, P., On the complexity of quantified linear systems, Theoretical Computer Science, vol. 518, pp. 128–134, 2014.