Medien
Aktuelles: What’s Decidable About Arrays With Sums?
Das Paper “What’s Decidable About Arrays With Sums?” von Roland Herrmann und Philipp Rümmer wurde bei CADE-30 angenommen. Die Konferenz findet vom 28. bis 31. Juli in Stuttgart statt.
28. April 2025, von Franziska Alber
- Informatik und Data Science
- Forschung
- Publikation