Kasper Hagens

According to our database¹, Kasper Hagens authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

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

[BibT_eX]

[DOI]

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

Rewriting Induction for Higher-Order Constrained Term Rewriting Systems.

[BibT_eX]

[DOI]

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