A Static Higher-Order Dependency Pair Framework

Thumbnail Image

Files

Primary 204578.pdf (455.76 KB)

Date

2019

Authors

Fuhs, C.
Kop, C.L.M. Cynthia

Journal Title

Journal ISSN

Volume Title

Publisher

Cham : Springer International Publishing

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/204578

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By