Kasper Hagens

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Dependency Relations

Markov Random Field

Top Venues

Publications

Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale
Higher-Order Constrained Dependency Pairs for (Universal) Computability. MFCS (2024)
Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale
Higher-Order Constrained Dependency Pairs for (Universal) Computability. CoRR (2024)