News: What's Decidable About Arrays With Sums?

The paper "What's Decidable About Arrays With Sums?" by Roland Herrmann and Philipp Rümmer was accepted at CADE-30. The conference will take place from 28 to 31 July in Stuttgart.

28 April 2025, by Franziska Alber

Informatics and Data Science
Research
Publication

Media

To top