Publications

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: Author is Ghilardi, S. and First Letter Of Title is D  [Clear All Filters]
2015
Decision Procedures for Flat Array Properties, Alberti, Francesco, Ghilardi S., and Sharygina Natasha , J. Autom. Reasoning, 04/2015, Volume 54, Issue 4, p.352, (2015)
2014
Decision Procedures for Flat Array Properties, Alberti, Francesco, Ghilardi S., and Sharygina Natasha , TACAS, Grenoble, France, (2014)
2013
Definability of Accelerated Relations in a Theory of Arrays and Its Applications, Alberti, Francesco, Ghilardi S., and Sharygina Natasha , Frontiers of Combining Systems, (2013)