Johannes Kloibhofer

According to our database, Johannes Kloibhofer authored at least 3 papers between 2021 and 2023.

Collaborative distances:

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

2023

Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata.

Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema

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

2021

A Fixed-point Theorem for Horn Formula Equations.

Stefan Hetzl, Johannes Kloibhofer

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract).

Stefan Hetzl, Johannes Kloibhofer

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