Vincent Peth

According to our database, Vincent Peth authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.

Luisa Herrmann, Vincent Peth, Sebastian Rudolph

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024