Kasper Hagens

Orcid: 0009-0005-2382-0559

According to our database¹, Kasper Hagens authored at least 4 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Templates in Rewriting Induction.

[DOI]

CoRR, April, 2026

Bounded Rewriting Induction for LCSTRSs.

[DOI]

CoRR, January, 2026

2024

Higher-Order Constrained Dependency Pairs for (Universal) Computability.

[DOI]

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Rewriting Induction for Higher-Order Constrained Term Rewriting Systems.

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024