Johannes Niederhauser

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Linear Constraints

Automated Reasoning

Higher Order Logic

Top Venues

Publications

Johannes Niederhauser, Chad E. Brown, Cezary Kaliszyk
Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic. IJCAR (1) (2024)
Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp
Left-Linear Completion with AC Axioms. CoRR (2024)
Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp
Left-Linear Completion with AC Axioms. CADE (2023)