Publications

You are here

Home » Research
Export 5 results:
Author Title [ Type(Asc)] Year
Filters: Author is Wojciechowski, Piotr  [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.