Theodor Seiser

According to our database, Theodor Seiser authored at least 1 paper in 2025.

Collaborative distances:

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

2025

On Solving String Equations via Powers and Parikh Images.

Clemens Eisenhofer, Theodor Seiser, Nikolaj S. Bjørner, Laura Kovács

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025