Johannes Niederhauser

According to our database, Johannes Niederhauser authored at least 5 papers between 2024 and 2025.

Collaborative distances:

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

2025

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version).

Johannes Niederhauser, Aart Middeldorp

CoRR, May, 2025

Left-Linear Completion with AC Axioms.

Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp

Log. Methods Comput. Sci., 2025

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting.

Johannes Niederhauser, Aart Middeldorp

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version).

Johannes Niederhauser, Chad E. Brown, Cezary Kaliszyk

CoRR, 2024

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic.

Johannes Niederhauser, Chad E. Brown, Cezary Kaliszyk

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024