Johannes Kloibhofer
According to our database1,
Johannes Kloibhofer
authored at least 4 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
2021
Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021