2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Przemysław Daca, Thomas A. Henzinger, Andrey Kupriyanov
We present an extension to the quantifier-free theory of integer arrays which allows us to express counting. The properties expressible in Array Folds Logic (AFL) include statement…