Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is W and Author is Wojciechowski, Piotr  [Clear All Filters]
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.
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.