Harnessing First Order Termination Provers Using Higher Order Dependency Pairs

C. Fuhs, C.L.M. Kop

Research output: Contribution to Journal › Article › Academic › peer-review

Fingerprint

Dive into the research topics of 'Harnessing First Order Termination Provers Using Higher Order Dependency Pairs'. Together they form a unique fingerprint.

Computer Science