Stefan Hetzl
Orcid: 0000000264615982Affiliations:
 Vienna University of Technology, Institute of Discrete Mathematics and Geometry, Austria
 École Polytechnique, Paris, France (former)
According to our database^{1},
Stefan Hetzl
authored at least 53 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2024
Arch. Math. Log., November, 2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
2023
Ann. Pure Appl. Log., 2023
2022
Theor. Comput. Sci., 2022
2021
Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021
Proceedings of the Second Workshop on SecondOrder Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021
2020
J. Log. Comput., 2020
Log. Methods Comput. Sci., 2020
Ann. Pure Appl. Log., 2020
2019
Theor. Comput. Sci., 2019
Math. Struct. Comput. Sci., 2019
J. Autom. Reason., 2019
2018
Inf. Comput., 2018
Proceedings of the Developments in Language Theory  22nd International Conference, 2018
2017
ACM Trans. Comput. Log., 2017
J. Log. Comput., 2017
J. Log. Comput., 2017
Log. Methods Comput. Sci., 2017
CoRR, 2017
2016
J. Log. Comput., 2016
Proceedings of the Proceedings Sixth International Workshop on Classical Logic and Computation, 2016
Proceedings of the Automated Reasoning  8th International Joint Conference, 2016
2015
Ann. Pure Appl. Log., 2015
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015
Proceedings of the Descriptional Complexity of Formal Systems, 2015
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
2014
Theor. Comput. Sci., 2014
Arch. Formal Proofs, 2014
Proceedings of the Automated Reasoning  7th International Joint Conference, 2014
2013
CoRR, 2013
Log. Methods Comput. Sci., 2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
2012
Notre Dame J. Formal Log., 2012
J. Symb. Log., 2012
Arch. Formal Proofs, 2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the Language and Automata Theory and Applications, 2012
Proceedings of the Computer Science Logic (CSL'12), 2012
Proceedings of the Computer Science Logic (CSL'12), 2012
Proceedings of the Intelligent Computer Mathematics  11th International Conference, 2012
2011
J. Symb. Log., 2011
Ann. Pure Appl. Log., 2011
2010
Arch. Math. Log., 2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2009
Ann. Pure Appl. Log., 2009
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009
2008
Theor. Comput. Sci., 2008
Proceedings of the LPAR 2008 Workshops, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
2006
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006
Proceedings of the Algebraic and Prooftheoretic Aspects of Nonclassical Logics, 2006
2005
Proceedings of the Communications and Multimedia Security, 2005
2004
Proceedings of the Logic for Programming, 2004