Definability of Accelerated Relations in a Theory of Arrays and Its Applications

TitleDefinability of Accelerated Relations in a Theory of Arrays and Its Applications
Publication TypeConference Paper
Year of Publication2013
AuthorsAlberti, Francesco, Ghilardi S., and Sharygina Natasha
Conference NameFrontiers of Combining Systems
Full Text