Johannes Kloibhofer

According to our database1, Johannes Kloibhofer authored at least 4 papers between 2021 and 2024.

Collaborative distances:

Timeline

2021
2022
2023
2024
0
1
2
3
1
1
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic.
CoRR, 2024

2023
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2021
A Fixed-point Theorem for Horn Formula Equations.
Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract).
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


  Loading...