Johannes Niederhauser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2023–2026
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Unification of Deterministic Higher-Order Patterns. | Johannes Niederhauser, Aart Middeldorp |
| 2025 | CADE | The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting. | Johannes Niederhauser, Aart Middeldorp |
| 2024 | IJCAR | Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic. | Johannes Niederhauser, Chad E. Brown, Cezary Kaliszyk |
| 2023 | CADE | Left-Linear Completion with AC Axioms. | Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp |