Can I read Combinatory Array Logic with Sums on EtoBox?

Combinatory Array Logic with Sums by Raya, Rodrigo is a scholarly article available to read on EtoBox.

What is Combinatory Array Logic with Sums about?

We prove an NP upper bound on a theory of integer-indexed integer-valued arrays that extends combinatory array logic with an ordering relation on the index set and the ability to express sums of elements. We compare our fragment with seven other fragments in the literature in terms of their expressiveness and computational complexity.

Author

Raya, Rodrigo

Published

2023

Language

EN