Hendrik Leidinger

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

Collaborative distances:

Timeline

2023

2024

Book

In proceedings

Article

PhD thesis

Dataset

Other

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