Kasper Hagens

Orcid: 0009-0005-2382-0559

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Templates in Rewriting Induction.
CoRR, April, 2026

Bounded Rewriting Induction for LCSTRSs.
CoRR, January, 2026

2024
Higher-Order Constrained Dependency Pairs for (Universal) Computability.
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Rewriting Induction for Higher-Order Constrained Term Rewriting Systems.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2024


  Loading...