Francesco Alberti, Silvio Ghilardi, Natasha Sharygina. Definability of Accelerated Relations in a Theory of Arrays and Its Applications. In Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt, editors, Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Volume 8152 of Lecture Notes in Computer Science, pages 23-39, Springer, 2013. [doi]
Abstract is missing.