Publications

You are here

Home » Research
Export 5 results:
Author [ Title(Desc)] Type Year
Filters: Author is Eirinakis, Pavlos  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
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.
Q
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.