Hendrik Leidinger

According to our database¹, Hendrik Leidinger authored at least 4 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Computing Ground Congruence Classes.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Non-Ground Congruence Closure.

[BibT_eX]

[DOI]

CoRR, 2024

2023

SCL(EQ): SCL for First-Order Logic with Equality.

[BibT_eX]

[DOI]

J. Autom. Reason., September, 2023

KBO Constraint Solving Revisited.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023