You are here

Export 5 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is Q and Author is Salvatore Ruggieri  [Clear All Filters]
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.