Sebastian Zivota

According to our database, Sebastian Zivota authored at least 3 papers between 2015 and 2020.

Collaborative distances:

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

2020

Decidability of affine solution problems.

Stefan Hetzl, Sebastian Zivota

J. Log. Comput., 2020

2016

System Description: GAPT 2.0.

Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Tree Grammars for the Elimination of Non-prenex Cuts.

Stefan Hetzl, Sebastian Zivota

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015